L'informatique parsers

2

Jusqu'à quel point un automate LR (1) pour une langue peut-il être plus grand que l'automate LR (0) correspondant?

Dans un analyseur LR (0), chaque état consiste en une collection d'éléments LR (0), qui sont des productions annotées avec une position. Dans un analyseur LR (1), chaque état consiste en une collection d'éléments LR (1), qui sont des productions annotées avec une position et un caractère d'anticipation. Il est …

10 context-free parsers lr-k

1

Un analyseur Earley peut-il être transformé en un analyseur flou similaire au Levenshtein Automata Algo pour DFA?

Il existe un moyen d'effectuer une analyse floue (accepte les chaînes même avec des fautes de frappe à une certaine distance d'édition), avec un DFA et un automate Levenshtein construit au moment de l'exécution du mot d'entrée. Peut-on faire quelque chose de similaire avec un analyseur Earley? J'ai du mal …

10 algorithms context-free finite-automata parsers string-metrics

3

Analyseur de descente récursif avec retour en arrière pour la grammaire

Quelqu'un peut-il m'éclairer pourquoi un analyseur de descente récursive avec retour arrière qui essaie les productions et (dans cet ordre) ne reconnaît pas le langage formé par la grammaire .S→ un SuneS→uneSuneS \rightarrow aSaS→ a aS→uneuneS \rightarrow aaS→ un Sa | a a S→uneSune | uneuneS \rightarrow aSa\ |\ aa …

10 context-free formal-grammars compilers parsers

2

Existe-t-il une résolution différente du problème «balançant le reste» autre que «correspondre le plus près»?

La grammaire non contextuelle suivante présente une ambiguïté de type "balançant le reste" (imaginez que représente et b représente et c représente un autre type d'instruction ou de bloc): Saaaif expr thenbbbelseccc Par exemple,aacbcpeut être analysé comme(a(acbc))ou comme(a(ac)bc)(c'est le mot ambigu le plus simple / le plus court pour cette …

9 context-free formal-grammars parsers ambiguity

1

Comment reconstruire la forêt d'arbres syntaxiques à partir du vecteur Earley?

L'utilisation du vecteur Earley comme identificateur est assez simple: lorsque la fin de la chaîne est atteinte, il vous suffit de vérifier si la production axiomatique terminée a commencé à la position 0. Si vous en avez au moins une, la chaîne est acceptée. L'utilisation du vecteur Earley pour reconstruire …

9 context-free dynamic-programming parsers ambiguity syntax-trees

2

Machine de Turing à deux états pour l'appariement des parenthèses

Au collège, nous avons appris la théorie du calcul en général et les machines de Turing plus spécifiquement. L'un des grands résultats théoriques est qu'au prix d'un alphabet potentiellement grand (symboles), vous pouvez réduire le nombre d'états à seulement 2. Je cherchais des exemples de différentes machines de Turing et …

9 turing-machines context-free parsers

2

Nom correct pour un analyseur de descente récursif qui utilise des boucles pour gérer la récursion gauche?

Cette grammaire est récursive: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term | MultiplicationExpression '/' Term Term ::= Number | '(' AdditionExpression ')' Number ::= [+-]?[0-9]+(\.[0-9]+)? Donc, en théorie, la descente récursive ne fonctionnera pas. Mais en …

8 reference-request formal-grammars recursion parsers left-recursion

3

Dériver l'expression régulière pour le style C / ** / commentaires

Je travaille sur un analyseur pour un langage de style C, et pour cet analyseur, j'ai besoin de l'expression régulière qui correspond au style C / ** / commentaires. Maintenant, j'ai trouvé cette expression sur le web: /\*([^\*]*\*+[^\*/])*([^\*]*\*+|[^\*]*\*/ Cependant, comme vous pouvez le voir, c'est une expression plutôt désordonnée, et …

8 compilers parsers regular-languages

Questions marquées «parsers»