Zobrazeno 1 - 10
of 82
pro vyhledávání: '"TERLUTTE, A."'
Tree automata based algorithms are essential in many fields in computer science such as verification, specification, program analysis. They become also essential for databases with the development of standards such as XML. In this paper, we define ne
Externí odkaz:
http://arxiv.org/abs/cs/0609015
Publikováno v:
In Theoretical Computer Science 2006 356(1):212-223
Publikováno v:
In Theoretical Computer Science 2004 313(2):267-294
Autor:
Fülöp, Z. *, Terlutte, A.
Publikováno v:
In Theoretical Computer Science 2002 276(1):221-244
Autor:
Terlutte, Sarah
Publikováno v:
Anthropologie sociale et ethnologie. 2017
Among Canadian Native peoples, drug abuse constitute a major health problem. The government's policies don't seem fit with the expectations of Native populations. Indeed, it's essential to identify the various contexts of drug consumption but also th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3ddb7e358b7eab653e9ffcc334be958b
https://dumas.ccsd.cnrs.fr/dumas-01753131/document
https://dumas.ccsd.cnrs.fr/dumas-01753131/document
Publikováno v:
ALT
Residual languages are important and natural components of regular languages and several grammatical inference algorithms naturally rely on this notion. In order to identify a given target language L, classical inference algorithms try to identify wo
Autor:
Alain Terlutte, Zoltán Fülöp
Publikováno v:
Theoretical Computer Science. 276:221-244
In this paper we consider the closure UCI(Rel) of the class of relabeling tree transformations, under U=union, C=composition and I=iteration. We give a characterization of UCI(Rel) in terms of a short expression built up from Rel with composition and
Autor:
Alain Terlutte, David Simplot
Publikováno v:
RAIRO - Theoretical Informatics and Applications. 34:183-212
Nous poursuivons notre etude des transductions iterees. Dans cet article, nous etudions la cloture par union et composition de quelques classes de fonctions iterees. Nous considerons les fonctions rationnelles les fonctions sous-sequentielles et les
Autor:
David Simplot, Alain Terlutte
Publikováno v:
RAIRO - Theoretical Informatics and Applications. 34:99-129
The purpose of this paper is to show connections between iterated length-preserving rational transductions and linear space computations. Hence, we study the smallest family of transductions containing length-preserving rational transductions and clo
Publikováno v:
Fundamenta Informaticae. 25:285-293
Weighted Finite Automata are automata with multiplicities used to compute real functions by reading infinite words. The aim of this paper is to study what kind of functions can be computed by level automata, a particular subclass of WFA. Several resu