@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},
year = {2000},
publisher = {EDP Sciences},
volume = {34},
number = {2},
mrnumber = {1774304},
zbl = {0962.68090},
language = {en},
url = {https://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 - https://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 https://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. https://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). | Zbl | MR
[3] and , Partial commutations and faithful rational transductions. Theoret. Comput. Sci. 34 (1984) 241-254. | Zbl | MR
[4] , Automata, Languages and Machines, Vol. A. Academic Press, New York (1974). | Zbl | MR
[5] and , On relations defined by generalized finite automata. IBM J. Res. Develop. 9 (1965) 47-68. | Zbl | MR
[6] and , Two-dimensional languages, in Handbook of Formal Languages, edited by A. Salomaa and G. Rozenberg, Vol. 3. Springer-Verlag, Berlin (1997) 215-267. | MR
[7] , Pull AFL's and nested iterated substitution. Inform. and Control (Shenyang) 16 (1970) 7-35. | Zbl | MR
[8] and , Morphism, in Handbook of Formal Languages, edited by A. Salomaa and G. Rozenberg, Vol. 1. Springer-Verlag, Berlin (1997) 439-510. | MR
[9] , Nondeterministic space is closed under complementation. SIAM J. Comput. 17 (1988) 935-938. | Zbl | MR
[10] , Classes of languages and linear bounded automata. Inform. and Control (Shenyang) 7 (1964) 207-223. | Zbl | MR
[11] and , Recognizable picture languages and domino tiling. Theoret. Comput. Sci. 178 (1997) 275-283. | Zbl | MR
[12] and , Context-sensitive string languages and recognizable picture languages. Inform. and Comput. 138 (1997) 160-169. | Zbl | MR
[13] , and , 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
[14] and , On characterizations of recursively enumerable languages. Acta Inform. 28 (1990) 179-186. | Zbl | MR
[15] , Transductions rationnelles décroissantes. RAIRO Theoret. Informatics Appl. 15 (1981) 141-148. | Zbl | MR | Numdam
[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. | Zbl | MR
[18] , Transductions des langages de Chomsky. Ann. Inst. Fourier (Grenoble) 18 (1968) 339-456. | Zbl | MR | Numdam
[19] , Sur les relations rationnelles entre monoïdes libres. Theoret. Comput. Sci. 3 (1976) 243-259. | Zbl | MR
[20] and Closure under union and composition of iterated rational transductions (in preparation). | Zbl | Numdam
[21] , The method of forced enumeration for nondeterministic automata. Acta Inform. 26 (1988) 279-284. | Zbl | MR
[22] , A classification and closure properties of languages for describing concurrent System behaviours. Fund. Inform. 4 (1981) 531-549. | Zbl | MR
[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. | Zbl | MR
[24] , Iterated a-NGSM maps and T Systems. Inform. and Control (Shenyang) 32 (1976) 1-26. | Zbl | MR






