Advertisement

Etude syntaxique des parties reconnaissables de mots infinis

  • Jean-Pierre Pecuchet
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 226)

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.

Keywords

Class Versus Testable Language Infinite Word Semigroupes Versus Syntactic Congruence 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    A. ARNOLD (1985): A syntactic congruence for rational ω-languages; Theor.Comp.Sci. 39 (1985) p 333–335.Google Scholar
  2. [2]
    A. ARNOLD, M. NIVAT (1982): Comportements de processus; Colloque des Mathématiques de l'Informatique, Paris, 35–68.Google Scholar
  3. [3]
    J.A. BRZOZOWSKI, I. SIMON (1973): Characterizations of locally testable events; Discrete Math., 4, 243–271.Google Scholar
  4. [4]
    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.Google Scholar
  5. [5]
    S. EILENBERG (1976): Automata, Languages and Machines, Vol. B.; Academic Press.Google Scholar
  6. [6]
    G. LALLEMENT (1979): Semigroups and combinatorial applications; Whiley, New-York.Google Scholar
  7. [7]
    L.H. LANDWEBER (1969): Decision Problems for ω-automata; Math. Syst. Th., 3, 376–384.Google Scholar
  8. [8]
    R. Mac NAUGHTON (1966): Testing and generating infinite sequences by a finite automation; Inf. and Control, 9, 521–530.Google Scholar
  9. [9]
    R. Mac NAUGHTON (1974): Algebraic decision procedures for local testability; Math. Syst. Th., 8, 60–76.Google Scholar
  10. [10]
    D. MULLER (1963): Infinite sequences and finite machines; Switching Theory and Logical Design, (Proc. 4 th IEEE Symp.), 3–16.Google Scholar
  11. [11]
    J.P. PECUCHET (1976): Variétés de semigroupes et mots infinis; (Proc. STACS 86), Lect. Notes in Comp. Sci. 210, 180–191.Google Scholar
  12. [12]
    D. PERRIN (1982): Variétés de semigroupes et mots infinis; C.R. Acad. Sci. Paris, 295, 595–598.Google Scholar
  13. [13]
    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.Google Scholar
  14. [14]
    J.E. PIN (1984): Variétés de langages et monoïdes; Masson.Google Scholar
  15. [15]
    M.P. SCHUTZENBERGER (1973): A propos des relations rationnelles fonctionnelles; Automata Languages and Programming, Nivat éd., North Holland, 103–114.Google Scholar
  16. [16]
    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.Google Scholar
  17. [17]
    W. THOMAS (1981): A combinatorial approach to the theory of ω-automata; Inf. and Control, 48, 261–283.Google Scholar
  18. [18]
    K. WAGNER (1979): On ω-regular Sets; Inf. and Control, 43, 123–177.Google Scholar
  19. [19]
    Y. ZALCSTEIN (1972): Locally testable languages; J.Comp.Syst.Sci., 6, 151–167.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Jean-Pierre Pecuchet
    • 1
  1. 1.CNRS LITP Laboratoire d'Informatique de ROUEN Faculté des SciencesMont-Saint-Aignan

Personalised recommendations