Questions marquées «context-free»

1
La hiérarchie rationnelle d'Eilenberg des automates et des langages non rationnels - où est-elle maintenant?
Dans la préface de ses livres très influents Automates, Langages et Machines (Volumes A, B), Samuel Eilenberg a promis de façon alléchante les Volumes C et D traitant "d'une hiérarchie (appelée hiérarchie rationnelle) des phénomènes non rationnels ... utilisant des relations rationnelles comme un outil de comparaison. Les ensembles rationnels …
3
Existe-t-il une extension des expressions régulières qui capture les langages sans contexte?
Dans de nombreux articles impliquant des grammaires sans contexte (CFG), les exemples de telles grammaires présentés ici admettent souvent des caractérisations faciles du langage qu'elles génèrent. Par exemple: S→aaSbS→aaSbS \to a a S b S→S→S \to génère {a2ibi|i≥0}{a2ibi|i≥0}\{ a^{2i} b^i | i \geq 0\} , S→aSbS→aSbS \to a S b …
1
Caractérisation de
C'est une preuve standard dans les cours d'automates que pour et | Σ | ≥ 2 que S ( L ) = { w w : w ∈ L } n'est pas une langue sans contexte.L=Σ⋆L=Σ⋆L = \Sigma^\star|Σ|≥2|Σ|≥2|\Sigma| \ge 2S(L)={ww:w∈L}S(L)={ww:w∈L}S(L) = \{ww : w \in L\} Il est également vrai …
1
Sont DPDAs sans
Dans la description formelle des automates déterministes de refoulement, ils autorisent mouvements, où la machine peut faire apparaître ou pousser des symboles sur la pile sans lire un symbole de l'entrée. Si ces mouvements ϵ ne sont pas autorisés et que la pile ne peut être modifiée qu'une fois après …
1
Existe-t-il des variantes d'automates visiblement pushdown qui permettent de pousser des mots sur la pile?
Je me demande s'il y a des articles ou des recherches traitant des automates visiblement pushdown, mais permettant aux mots, plutôt qu'aux lettres simples, d'être poussés sur la pile. Alternativement, une construction qui a permis de symboles d'être poussé sur ϵϵ\epsilon -Transitions pourrait atteindre le même objectif. De toute évidence, …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.