A characterization of rational star languages generated by strong codes.
L.X. Zhang (1986-1987)
Semigroup forum
Similarity:
L.X. Zhang (1986-1987)
Semigroup forum
Similarity:
W. Forys (1986-1987)
Semigroup forum
Similarity:
Olivier Carton, Olivier Finkel, Pierre Simonnet (2008)
RAIRO - Theoretical Informatics and Applications
Similarity:
In this paper, we study the continuity of rational functions realized by Büchi finite state transducers. It has been shown by Prieur that it can be decided whether such a function is continuous. We prove here that surprisingly, it cannot be decided whether such a function has at least one point of continuity and that its continuity set cannot be computed. In the case of a synchronous rational function, we show that its continuity set is rational and that it can be computed....
Alain Terlutte, David Simplot (2010)
RAIRO - Theoretical Informatics and Applications
Similarity:
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 closed under union, composition and iteration. We give several characterizations of this class using restricted classes of length-preserving rational transductions, by showing the connections with "context-sensitive transductions" and transductions...
J. Achari (1978)
Matematički Vesnik
Similarity:
J. Achari (1979)
Publications de l'Institut Mathématique
Similarity:
Matusevich, Laura Felicia (2000)
Beiträge zur Algebra und Geometrie
Similarity:
J. Siciak (1962)
Annales Polonici Mathematici
Similarity: