Une Generalization DU Theoreme DE Ginsburg-Rose
Canadian journal of mathematics, Tome 32 (1980) no. 3, pp. 567-575
Voir la notice de l'article provenant de la source Cambridge University Press
Nous présentons ici une étude relative aux applications entre monoïdes, que nous nommerons transductions, qui peuvent être réalisées par un transducteur (machine séquentielle généralisée). L'exposé s'oriente sur l'examen des conditions caractérisant de telles applications. Le point de départ est le théorème de Ginsburg-Rose [2], qui caractérise les transductions entre monoïdes libres de type fini, en termes de quatre conditions dont une, la condition de “bounded output”, implique la longueur des mots et, par conséquent, ne peut être formulée que dans un monoïde libre. A l'aide d'un langage propre aux structures algébriques en général, celle des congruences, nous étudions des conditions remplaçant ‘'bounded output”, pour généraliser le théorème connu aux monoïdes quelconques et aux monoïdes libres quelconques.
Chaput, Daniel; Sabidussi, Gert. Une Generalization DU Theoreme DE Ginsburg-Rose. Canadian journal of mathematics, Tome 32 (1980) no. 3, pp. 567-575. doi: 10.4153/CJM-1980-043-1
@article{10_4153_CJM_1980_043_1,
author = {Chaput, Daniel and Sabidussi, Gert},
title = {Une {Generalization} {DU} {Theoreme} {DE} {Ginsburg-Rose}},
journal = {Canadian journal of mathematics},
pages = {567--575},
year = {1980},
volume = {32},
number = {3},
doi = {10.4153/CJM-1980-043-1},
url = {http://geodesic.mathdoc.fr/articles/10.4153/CJM-1980-043-1/}
}
TY - JOUR AU - Chaput, Daniel AU - Sabidussi, Gert TI - Une Generalization DU Theoreme DE Ginsburg-Rose JO - Canadian journal of mathematics PY - 1980 SP - 567 EP - 575 VL - 32 IS - 3 UR - http://geodesic.mathdoc.fr/articles/10.4153/CJM-1980-043-1/ DO - 10.4153/CJM-1980-043-1 ID - 10_4153_CJM_1980_043_1 ER -
[1] 1. Eilenberg, S., Automata, languages, and machines, Volume A (Academic Press, New York and London, 1974). Google Scholar
[2] 2. Ginsburg, S. and Rose, G. F., A characterization of machine mappings, Can. J. Math. 18 (1966), 381–388. Google Scholar
[3] 3. Nerode, A., Linear automaton transformation, Proc. Amer. Math. Soc. 9 (1958), 541–544. Google Scholar
Cité par Sources :