L'informatique formal-grammars

1

Comparaison théorique des langages des grammaires LL et LR

Les gens disent souvent que les analyseurs syntaxiques LR (k) sont plus puissants que les analyseurs syntaxiques LL (k) . Ces déclarations sont vagues la plupart du temps; en particulier, devrions-nous comparer les classes pour un fixe ou l'union sur tous les k ? Alors, comment est la situation vraiment? …

68 formal-languages formal-grammars parsers reference-question

2

Existe-t-il des langues dépourvues de contexte, ambiguës et déterministes?

Appelons un langage déterministe sans contexte si et seulement si il peut être accepté par un automate push-down déterministe, et non déterministe autrement. Appelons un langage dépourvu de contexte intrinsèquement ambigu si et seulement si toutes les grammaires sans contexte qui génèrent le langage sont ambiguës et non ambiguës sinon. …

36 formal-languages automata formal-grammars pushdown-automata

9

Quelle est la signification des langues contextuelles (Type 1)?

Voyant que, dans la hiérarchie de Chomsky, les langues de type 3 peuvent être reconnues par une machine à états dépourvue de mémoire externe (c'est-à-dire un automate fini), le type 2 par une machine à états à pile unique (un automate à pile) et le type 0 par une machine …

34 formal-languages applied-theory computability automata formal-grammars

2

À quoi fait référence le «contexte» dans la «grammaire sans contexte»?

Il existe de nombreuses définitions en ligne sur ce qu'est une grammaire sans contexte, mais rien de ce que je trouve ne satisfait mon problème principal: De quel contexte est-il libre? Pour enquêter, j'ai recherché «grammaire contextuelle» sur Google, mais je n'ai toujours pas trouvé de quoi il s'agissait. Quelqu'un …

30 terminology context-free formal-grammars

3

Qu'entend-on vraiment par sans contexte dans le terme de grammaire sans contexte?

J'étudie les compilateurs depuis un certain temps et je cherche ce que l'on entend par «contexte» en grammaire et ce que cela signifie pour la grammaire d'être «sans contexte», mais sans résultat. Alors, quelqu'un peut-il m'aider?

29 terminology context-free formal-grammars

6

Génération de combinaisons à partir d'un ensemble de paires sans répétition d'éléments

J'ai un ensemble de paires. Chaque paire est de la forme (x, y) telle que x, y appartiennent à des entiers de la plage [0,n). Donc, si le n est 4, alors j'ai les paires suivantes: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) J'ai déjà les paires. Maintenant, je dois construire …

28 algorithms graphics data-structures computational-geometry operating-systems process-scheduling algorithms sorting database-theory relational-algebra finite-model-theory logic automata linear-temporal-logic buchi-automata complexity-theory np-complete decision-problem machine-learning algorithms pattern-recognition logic formal-languages formal-grammars context-free

2

Comment prouver qu'une langue est hors contexte?

Il existe de nombreuses techniques pour prouver qu'une langue n'est pas sans contexte, mais comment puis-je prouver qu'une langue est sans contexte? Quelles techniques existe-t-il pour le prouver? De toute évidence, une façon consiste à présenter une grammaire sans contexte pour la langue. Existe-t-il des techniques systématiques pour trouver une …

26 formal-languages context-free formal-grammars proof-techniques reference-question

4

Comment prouver qu'une grammaire est sans ambiguïté?

Mon problème est de savoir comment prouver qu'une grammaire est sans ambiguïté? J'ai la grammaire suivante: S→statement∣if expression then S∣if expression then S else SS→statement∣if expression then S∣if expression then S else SS → statement ∣ \mbox{if } expression \mbox{ then } S ∣ \mbox{if } expression \mbox{ then } …

25 context-free formal-grammars proof-techniques ambiguity

1

Existe-t-il un algorithme d'analyse CFG non général qui reconnaît EPAL?

EPAL, la langue des palindromes pairs, est définie comme la langue générée par la grammaire sans contexte suivante sans ambiguïté: S→ a aS→aaS \rightarrow a a S→ b bS→bbS \rightarrow b b S→ un SuneS→aSaS \rightarrow a S a S→ b SbS→bSbS \rightarrow b S b EPAL est le «fléau» …

23 formal-languages formal-grammars parsers

1

Comment montrer que L = L (G)?

Spécifier des langues formelles en donnant des grammaires formelles est une tâche fréquente: nous avons besoin de grammaires non seulement pour décrire les langues, mais aussi pour les analyser, ou même pour faire une science appropriée . Dans tous les cas, il est important que la grammaire soit correcte , …

22 formal-languages formal-grammars proof-techniques reference-question

4

Existe-t-il d'autres façons de décrire les langages formels que les grammaires?

Cette question a été migrée à partir de la bourse théorique de l'informatique, car elle peut être répondue sur la bourse de la science informatique. Migré il y a 7 ans . Je recherche des théories mathématiques qui traitent de la description des langages formels (ensemble de chaînes) en général …

22 formal-languages formal-grammars

4

Pourquoi la récursion gauche est-elle mauvaise?

Dans la conception du compilateur, pourquoi la récursion gauche devrait-elle être éliminée dans les grammaires? Je lis que c'est parce que cela peut provoquer une récursion infinie, mais n'est-ce pas également vrai pour une grammaire récursive correcte?

20 formal-grammars compilers left-recursion

1

L'égalité linguistique pour les grammaires linéaires sans contexte est-elle décidable?

Considérons deux grammaires contexte et et la question suivante: , c'est-à-dire, les deux grammaires sont-elles équivalentes?g1g1G_1g2g2G_2L ( G1) = L ( G2)L(g1)=L(g2)L(G_1) = L(G_2) En général, ce problème est indécidable. Cependant, si et sont des gauche (ou à droite), le problème est décidable, car les deux grammaires décrivent des langues …

19 formal-languages context-free formal-grammars

1

Comment puis-je convertir la machine Turing la langue reconnue en une grammaire illimitée?

Selon cet article de Wikipedia , les grammaires illimitées sont équivalentes aux machines de Turing. L'article note que je peux convertir n'importe quelle machine Turing en une grammaire illimitée, mais il montre uniquement comment convertir une grammaire en machine Turing. Comment puis-je vraiment faire cela et convertir la machine Turing …

19 formal-grammars turing-machines simulation

2

Peut-il y avoir des «états morts» dans une grammaire sans contexte?

Une grammaire sans contexte peut-elle inclure des "états morts" d'un automate, tels que G = ( {a,b,c},{A,B,C} , { A → a B , B → b , B → C, C→ c C} , A )?g=({une,b,c},{UNE,B,C},{UNE→uneB,B→b,B→C,C→cC},UNE)?G = \big(\{a, b, c\}, \{A, B, C\}, \{A\to aB, B\to b, B\to C, …

18 context-free automata formal-grammars

Questions marquées «formal-grammars»