Questions marquées «context-free»

Questions sur l'ensemble des langages (équivalents) décrits par des grammaires hors contexte ou acceptés par des automates de refoulement (non déterministes).

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 …
1
Construire tous les langages sans contexte à partir d'un ensemble de langages de base et de propriétés de fermeture?
Une façon de regarder les expressions régulières est une preuve constructive du fait suivant: il est possible de construire les langages réguliers en commençant par un petit ensemble de langages et en les combinant via un petit ensemble fixe de propriétés de fermeture. Plus précisément, si nous commençons par la …
1
Analyse par résolution de problèmes - questions
J'ai récemment rencontré un article décrivant la technique d'analyse mentionnée dans le titre. Malheureusement, la terminologie utilisée dans cet article est quelque peu au-delà de ma compréhension, j'ai donc essayé de saisir l'algorithme de construction de manière plus intuitive. Je crois que j'ai réussi ( cette présentation a été la …
5
Langage des valeurs d'une fonction affine
Écrivez pour l'expansion décimale de (sans interligne ). Soit et entiers, avec . Considérez le langage des expansions décimales des multiples de plus une constante:ˉ nn¯\bar n nnn0aaabbba>0a>0a > 0aaa M = { ¯ ax + b ∣x∈N}M={ax+b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N} \} est-il régulier? sans contexte?MMM (Contraste avec …
1
Comment ws avec | w | = | s | et w ≠ s être hors contexte alors que w # s ne l'est pas?
Pourquoi (si c'est le cas) le séparateur fait-il une différence entre les deux langues?##\# Disons: L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L=\{ws : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L_{\#}=\{w\#s : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} Voici une preuve et une grammaire représentant enLLLCFLCFLCFL Et ci-dessous, j'ajoute une preuve pour :L#∉CFLL#∉CFLL_{\#} \notin CFL …
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 …
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.