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 …
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 …
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, …
Par un résultat classique de Kuroda, la classe de complexité NSPACE [ ]nnn (également connue sous le nom de NLIN-SPACE) est précisément la classe CSL des langages contextuels . Le problème de satisfiabilité SAT est dans NSPACE [ ], car une estimation de taille linéaire pour une solution peut être …
Une phrase de permutation est une extension des définitions de grammaire sans contexte standard (E) BNF: une phrase de permutation contient n productions (ou de manière équivalente, non terminales) A 1 à A n . À la position de la phrase de permutation, nous aimerions voir chacune de ces productions …
Il existe des preuves théoriques que la construction de produits cartésiens naïfs pour l'intersection des DFA est "le meilleur que nous pouvons faire". Qu'en est-il de la concaténation de deux DFA? La construction triviale implique la conversion de chaque DFA en NFA, l'ajout d'une transition epsilon et la détermination du …
Je me demandais s'il y avait une bonne bibliographie des tentatives d'enquêter sur la conjecture de Collatz comme grammaire formelle? (ou toute autre tentative dans la communauté CS pour faire face à cette classe de phénomènes génératifs et leurs propriétés "d'arrêt").
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 …
Pour un langage L ⊆ Σ ^ * , définissez la congruence syntaxique ≡ de L comme la moindre congruence sur Σ ^ * qui sature L , soit: u ≡ v ⇔ (∀ x, y) [xuy ∈ L ↔ xvy ∈ L]. Définissez maintenant l' équivalence Nerode comme la …
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:| …
Contexte: Étant donné deux automates finis déterministes A et B, nous formons le produit C en laissant les états dans C être le produit cartésien des états dans A et des états dans B. Ensuite, nous choisissons les transitions, l'état initial et les états finaux de sorte que le langage …
Il est connu que minimiser la taille d'une expression régulière est PSPACE-complete même si nous avons un DFA comme spécification du langage . Quels sont les résultats si la langue est finie? On peut considérer ce problème dans deux modèles: L'entrée correspond à toutes les chaînes du langage, et nous …
Le problème Soit un automate Büchi, reconnaissant un langage . Nous partons du principe que a une stratégie d'acceptation dans le sens suivant: il y a une fonction qui peut être utilisé pour séries pilotes de . Nous formalisons cela par les conditions suivantes:la L ⊆ Σ co A σ …
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 …
Dans le chapitre 4 de A Second Course in Automata Theory de Jeffrey Shallit, le problème suivant est répertorié comme ouvert: p(n)p(n)p(n)∈Np(n) \in \mathbb{N}n∈Nn \in \mathbb{N}{ p ( n ) ∣ n ⩾ 0 }{p(n)∣n⩾0}\{p(n) \mid n \geqslant 0\} ppp⩽1⩽1\leqslant 1 . Quel est son statut maintenant (comme en octobre …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.