Automates a pile sur des alphabets infinis

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.