Questions marquées «fl.formal-languages»

langages formels, grammaires, théorie des automates

1
Une ambiguïté constante peut-elle réduire la complexité de l'état d'une langue régulière?
Nous disons que NFA est constamment ambigu s'il existe telle sorte que tout mot est accepté par ou (exactement) chemins.k ∈ N w ∈ Σ ∗ 0 kMMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Si l'automate est constamment ambigu pour , alors est appelé FA sans ambiguïté (UFA).k = 1 MMMMk=1k=1k=1MMM Soit une langue …

2
Quelle est la taille d'un NFA par rapport à l'automate fini sans ambiguïté minimal (UFA) de la même langue régulière?
Les automates finis sans ambiguïté (UFA) sont un type spécial d'automates finis non déterministes (NFA). Un NFA est appelé sans ambiguïté si chaque mot a au plus un chemin d'acceptation.w∈Σ∗w∈Σ∗w\in \Sigma^* Cela signifie .DFA⊂UFA⊂NFADFA⊂UFA⊂NFADFA\subset UFA\subset NFA Résultats d'automate associés connus: La minimisation NFA est PSPACE-Complete. La minimisation NFA sur les …

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, …





1
Complétude et langages contextuels.
Je m'intéresse à deux questions concernant les langages contextuels (CSL) et l'exhaustivité: Existe-t-il une notion d'exhaustivité pour CSL et quelles langues sont complètes? Existe-t-il des CSL naturels qui sont NP-complets? Pour 2., je peux certainement penser à des langages NP-complets naturels qui sont CSL (comme CSL est égal à NSPACE …


3
Langues irréductibles
Ce n'est pas nécessairement une question de recherche. Juste une question par curiosité: J'essaie de comprendre si l'on peut définir des langues "irréductibles". En premier lieu, j'appelle une langue L "réductible" si elle peut s'écrire L=A⋅BL=A⋅BL = A \cdot B avec et , sinon appelez la langue "irréductible". Est-ce vrai:| …




3
Progrès sur le problème généralisé de la hauteur des étoiles?
La hauteur d'étoile (généralisée) d'une langue est l'imbrication minimale des étoiles de Kleene requise pour représenter la langue par une expression régulière étendue. Rappelons qu'une expression régulière étendue sur un alphabet fini satisfait ce qui suit:AAA (1) et a sont des expressions régulières étendues pour tout a ∈ A∅,1∅,1\emptyset, 1aaaa∈Aa∈Aa\in …


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.