Advertisement

Automates a pile sur des alphabets infinis

  • Jeanne Idt
Contibuted Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 166)

Resume

Soit Σ un alphabet infini dénombrable. Une grammaire G=〈Σ,V,P〉 est Σ-algébrique si V est un ensemble fini de non-terminaux et si P = {(α→m) / αεV, mε(ΣuV)*} est tel que la longueur de m soit bornée. On peut voir que des langages engendrés par de telles grammaires ne peuvent être caractérisés par des automates à pile classiques. C'est pourquoi il a été nécessaire de construire une nouvelle sorte d'automates que j'ai appelé "automates à pile et à tiroirs". La construction et les propriétés de ces automates sont exposés dans cet article.

Keywords

Formal Language Theory Nous Allons Morphisme Stricte Pile CLASSIQUES Finite Turn 
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.

Bibliographie

  1. [1]
    J.M. AUTEBERT, J. BEAUQUIER, L. BOASSON, "Langages sur des alphabets infinis" Discrete Math.2, 1980, p1–20.Google Scholar
  2. [2]
    J.M. AUTEBERT, J. BEAUQUIER, L. BOASSON, "Formes de langages et de grammaires", Acta Informatica 7, 1982, p 193–219.Google Scholar
  3. [3]
    J.M. AUTEBERT, J. BEAUQUIER, L. BOASSON, "Limites de langages algébriques", C.R. Acad. Sc. PARIS, t.29, 1980.Google Scholar
  4. [4]
    J. BEAUQUIER, "Comptabilité des systèmes de sécurité", In program Transformation B. ROBINET Dunod-1978, p 109–124.Google Scholar
  5. [5]
    J. BEAUQUIER, M. NIVAT, "Application of formal languages theory to problems of security and synchronization", In Formal language theory, 1980, Academic Press.Google Scholar
  6. [6]
    M. HARRISON, "Introduction to formal languages theory", Addison Wesley, 1978.Google Scholar
  7. [7]
    R. McNAUGHTON, "Testing and generating infinite sequences by a finite automaton" Inf. and Control. Vol 9, 1966, p. 521–530.Google Scholar
  8. [8]
    M. NIVAT, "Sur les ensembles de mots infinis engendrés par une grammaire algébrique" RAIRO Info. Théorique, 12, 1978, p 259–270.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • Jeanne Idt
    • 1
  1. 1.Faculté des Sciences EconomiquesGrenoble CédexFrance

Personalised recommendations