Résumé
Cet article est le deuxième volet d'une étude concernant l'extension de la théorie des variétés de Eilenberg aux mots infinis. A chaque variété de semigroupes V on associe trois classes de parties reconnaissables de mots infinis Vω \(\vec V\) et Vs. Les deux premières, liées à la nature des automates, ont fait l'objet d'une étude antérieure. Le présent article est consacré à la classe Vs. Nous montrons qu'elle est liée à la syntaxe des parties, est décidable avec V, et peut se prêter à d'agréables descriptions, comme dans le cas des parties localement testables ou testables par morceaux.
Chapter PDF
References
A. ARNOLD (1985): A syntactic congruence for rational ω-languages; Theor.Comp.Sci. 39 (1985) p 333–335.
A. ARNOLD, M. NIVAT (1982): Comportements de processus; Colloque des Mathématiques de l'Informatique, Paris, 35–68.
J.A. BRZOZOWSKI, I. SIMON (1973): Characterizations of locally testable events; Discrete Math., 4, 243–271.
J.R. BUCHI (1962): On a decision method in restricted second order arithmetic; Logic, Methodology and Philosophy of Science, (Proc. 1960 Int. Congr.), Stanford Univ. Press, 1–11.
S. EILENBERG (1976): Automata, Languages and Machines, Vol. B.; Academic Press.
G. LALLEMENT (1979): Semigroups and combinatorial applications; Whiley, New-York.
L.H. LANDWEBER (1969): Decision Problems for ω-automata; Math. Syst. Th., 3, 376–384.
R. Mac NAUGHTON (1966): Testing and generating infinite sequences by a finite automation; Inf. and Control, 9, 521–530.
R. Mac NAUGHTON (1974): Algebraic decision procedures for local testability; Math. Syst. Th., 8, 60–76.
D. MULLER (1963): Infinite sequences and finite machines; Switching Theory and Logical Design, (Proc. 4 th IEEE Symp.), 3–16.
J.P. PECUCHET (1976): Variétés de semigroupes et mots infinis; (Proc. STACS 86), Lect. Notes in Comp. Sci. 210, 180–191.
D. PERRIN (1982): Variétés de semigroupes et mots infinis; C.R. Acad. Sci. Paris, 295, 595–598.
D. PERRIN (1984): Recent Results on Automata and infinite Words; Math. Found Comp. Sci., (Proc. 11th symp. Praha), Lecture Notes in Compt. Sci., 176, 134–148.
J.E. PIN (1984): Variétés de langages et monoïdes; Masson.
M.P. SCHUTZENBERGER (1973): A propos des relations rationnelles fonctionnelles; Automata Languages and Programming, Nivat éd., North Holland, 103–114.
I. SIMON (1975): Piecewise testable events; Automata Theory and Formal Languages (2nd G.I. Conf.), Lect. Notes in Comp. Sci. 33, Springer Verlag, 214–322.
W. THOMAS (1981): A combinatorial approach to the theory of ω-automata; Inf. and Control, 48, 261–283.
K. WAGNER (1979): On ω-regular Sets; Inf. and Control, 43, 123–177.
Y. ZALCSTEIN (1972): Locally testable languages; J.Comp.Syst.Sci., 6, 151–167.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pecuchet, JP. (1986). Etude syntaxique des parties reconnaissables de mots infinis. In: Kott, L. (eds) Automata, Languages and Programming. ICALP 1986. Lecture Notes in Computer Science, vol 226. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16761-7_79
Download citation
DOI: https://doi.org/10.1007/3-540-16761-7_79
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16761-7
Online ISBN: 978-3-540-39859-2
eBook Packages: Springer Book Archive
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.