A note on Glushkov's algorithm of the synthesis of finite automata
Jan Mareš (1972)
Kybernetika
Jaroslav Král (1973)
Kybernetika
C.M. Reis (1978)
Semigroup forum
S. A. Greibach (1977)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
S. Zhang (1989)
Semigroup forum
Wolfgang Wechler (1988)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Bruno Courcelle (1988)
Banach Center Publications
M. Ito (1991)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
S. A. Greibach (1975)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
J. Albert (1982)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Domonkos Asztalos (1974)
Časopis pro pěstování matematiky
Jozef Gruska (1975)
Kybernetika
Mariangiola Dezani-Ciancaglini (1974)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Rafael C. Carrasco, Jan Daciuk (2009)
RAIRO - Theoretical Informatics and Applications
We describe a technique that maps unranked trees to arbitrary hash codes using a bottom-up deterministic tree automaton (DTA). In contrast to other hashing techniques based on automata, our procedure builds a pseudo-minimal DTA for this purpose. A pseudo-minimal automaton may be larger than the minimal one accepting the same language but, in turn, it contains proper elements (states or transitions which are unique) for every input accepted by the automaton. Therefore, pseudo-minimal DTA...
Juha Honkala (2007)
RAIRO - Theoretical Informatics and Applications
Suppose ƒ : X* → X* is a morphism and u,v ∈ X*. For every nonnegative integer n, let zn be the longest common prefix of ƒn(u) and ƒn(v), and let un,vn ∈ X* be words such that ƒn(u) = znun and ƒn(v) = znvn. We prove that there is a positive integer q such that for any positive integer p, the prefixes of un (resp. vn) of length p form an ultimately periodic sequence having period q. Further, there is a value of q which works for all words u,v ∈ X*.
Ladislav Nebeský (1972)
Kybernetika
Ivan Kramosil (1975)
Kybernetika
Martine Leonard (1988)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
J.E. Pin (1986/1987)
Semigroup forum
J. Berstel, P. Séébold (1994)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications