@article{ITA_2000__34_2_99_0, author = {Terlutte, Alain and Simplot, David}, title = {Iteration of rational transductions}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {99--129}, publisher = {EDP-Sciences}, volume = {34}, number = {2}, year = {2000}, mrnumber = {1774304}, zbl = {0962.68090}, language = {en}, url = {http://www.numdam.org/item/ITA_2000__34_2_99_0/} }
TY - JOUR AU - Terlutte, Alain AU - Simplot, David TI - Iteration of rational transductions JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 2000 SP - 99 EP - 129 VL - 34 IS - 2 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_2000__34_2_99_0/ LA - en ID - ITA_2000__34_2_99_0 ER -
%0 Journal Article %A Terlutte, Alain %A Simplot, David %T Iteration of rational transductions %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 2000 %P 99-129 %V 34 %N 2 %I EDP-Sciences %U http://www.numdam.org/item/ITA_2000__34_2_99_0/ %G en %F ITA_2000__34_2_99_0
Terlutte, Alain; Simplot, David. Iteration of rational transductions. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 34 (2000) no. 2, pp. 99-129. http://www.numdam.org/item/ITA_2000__34_2_99_0/
[1] Signed-digit number representations for fast parallel arithmetic. IRE Trans. Electronic Computers 10 (1961) 389-400. | MR
,[2] Transductions and Context-Free Languages. Teubner Studienbücher, Stuttgart (1979). | MR | Zbl
,[3] Partial commutations and faithful rational transductions. Theoret. Comput. Sci. 34 (1984) 241-254. | MR | Zbl
and ,[4] Automata, Languages and Machines, Vol. A. Academic Press, New York (1974). | MR | Zbl
,[5] On relations defined by generalized finite automata. IBM J. Res. Develop. 9 (1965) 47-68. | MR | Zbl
and ,[6] Two-dimensional languages, in Handbook of Formal Languages, edited by A. Salomaa and G. Rozenberg, Vol. 3. Springer-Verlag, Berlin (1997) 215-267. | MR
and ,[7] Pull AFL's and nested iterated substitution. Inform. and Control (Shenyang) 16 (1970) 7-35. | MR | Zbl
,[8] Morphism, in Handbook of Formal Languages, edited by A. Salomaa and G. Rozenberg, Vol. 1. Springer-Verlag, Berlin (1997) 439-510. | MR
and ,[9] Nondeterministic space is closed under complementation. SIAM J. Comput. 17 (1988) 935-938. | MR | Zbl
,[10] Classes of languages and linear bounded automata. Inform. and Control (Shenyang) 7 (1964) 207-223. | MR | Zbl
,[11] Recognizable picture languages and domino tiling. Theoret. Comput. Sci. 178 (1997) 275-283. | MR | Zbl
and ,[12]Context-sensitive string languages and recognizable picture languages. Inform. and Comput. 138 (1997) 160-169. | MR | Zbl
and ,[13] Iterated length-preserving rational transduction, in Proc. 23rd Symposium on Mathematical Foundations of Computer Science (MFCS'98) (Brno, Czech Republic, 1998), edited by L. Brim, J. Gruska and J. Zlatuska. Springer-Verlag, Berlin, Lecture Notes in Comput. Sci. 1450 (1998) 286-295. | MR
, and ,[14] On characterizations of recursively enumerable languages. Acta Inform. 28 (1990) 179-186. | MR | Zbl
and ,[15] Transductions rationnelles décroissantes. RAIRO Theoret. Informatics Appl. 15 (1981) 141-148. | Numdam | MR | Zbl
,[16] Une généralisation des semi-commutations. Tech. Rep. it-210, L.I.F.L., Université Lille 1, France (1991).
,[17] Some characterizations of functions computable in on-line arithmetic. IEEE Trans. Comput. 43 (1994) 752-755. | MR | Zbl
,[18] Transductions des langages de Chomsky. Ann. Inst. Fourier (Grenoble) 18 (1968) 339-456. | Numdam | MR | Zbl
,[19] Sur les relations rationnelles entre monoïdes libres. Theoret. Comput. Sci. 3 (1976) 243-259. | MR | Zbl
,[20] Closure under union and composition of iterated rational transductions (in preparation). | Numdam | Zbl
and[21] The method of forced enumeration for nondeterministic automata. Acta Inform. 26 (1988) 279-284. | MR | Zbl
,[22] A classification and closure properties of languages for describing concurrent System behaviours. Fund. Inform. 4 (1981) 531-549. | MR | Zbl
,[23] Transducers and compositions of morphisms and inverse morphisms, in Studies in honour of Arto Kustaa Salomaa on the occasion of his fiftieth birthday. Ann. Univ. Turku. Ser. A I 186 (1984) 118-128. | MR | Zbl
,[24] Iterated a-NGSM maps and T Systems. Inform. and Control (Shenyang) 32 (1976) 1-26. | MR | Zbl
,