Je recherche une langue L avec les propriétés suivantes: L ne doit pas être hors contexte. Le complément de L ne doit pas être hors contexte. (Tout ce que vous voyez dans les manuels comme exemples de langues non contextuelles semble ne pas répondre à cette deuxième exigence.) L ne devrait pas être...
Soit une constante. Comment peut - on construire prouvablement un générateur pseudo - aléatoire que les fous -state automates finis?dréddrédd Ici, un automate fini state a nœuds, un nœud de début, un ensemble de nœuds représentant des états acceptés et deux bords dirigés étiquetés 0, 1 sortant de...
Disons que l'on a une langue , mais on ne sait pas quelles chaînes font réellement partie de la langue. Tout ce que l'on a est une vue finie du langage: un ensemble fini de chaînes qui sont connues pour être dans le langage, et un ensemble fini de chaînes qui sont connues ne pas être dans la...
Un MPA (automate multipebble) est un 2DFA (automate fini déterministe bidirectionnel) qui peut utiliser un nombre arbitraire de cailloux (en fait au plus cailloux sur une entrée donnée w - l'entrée est écrite sur la bande entre deux extrémités -marqueurs comme # w # ). Pendant le calcul, un MPA...
Quelqu'un peut-il fournir un exemple de deux automates non déterministes (NFA) minimaux équivalents (reconnaissant le même langage) qui ne sont pas
Inspiré par cette question , je suis curieux de savoir ce qui suit: Quelle est la pire des situations pour vérifier si un DFA donné accepte le même langage qu'une expression régulière donnée? Est-ce connu? L'espoir serait que ce problème soit en P - qu'il existe un algorithme polynomial dans la...
Je recherche un document d'enquête sur les concepts importants dans le domaine des automates quantiques. J'ai trouvé Quantum Automata Theory - A Review by Hirvensalo, mais cela semble trop succinct pour saisir le sujet. Existe-t-il une enquête assez complète sur le thème des automates quantiques?...
Les automates à états finis résiduels (RFSA, définis dans [DLT02]) sont des NFA qui ont de belles fonctionnalités en commun avec les DFA. En particulier, il y a toujours une RFSA de taille minimale canonique pour chaque langue régulière, et la langue reconnue par chaque état dans la RFSA est un...
Supposons que l'on vous donne deux automates déterministes push down qui reconnaissent les langages et B et souhaitent déterminer s'il existe un langage régulier R tel que A ⊆ R et R ∩ B = ∅ . Fondamentalement, le défi consiste à déterminer s'il existe un DFA qui peut reconnaître de quelle langue...
Un ensemble de mots sur un alphabet fini est sans préfixe s'il n'y a pas deux mots distincts où l'un est un préfixe de l'autre. La question est: Quelle est la complexité de vérifier si un langage régulier donné en NFA contient un sous-ensemble infini sans préfixe? Réponse (grâce à Mikhail Rudoy,...
Je recherche une technique générale qui peut m'aider à prouver non seulement que les automates Buchi sont un modèle plus expressif que LTL, mais que la formule spécifique peut / ne peut pas être exprimée en LTL. Par exemple, " se produit au moins sur des positions paires" peut être décrit par les...
Est-il possible de construire un algorithme qui prend en entrée un automate de refoulement avec la promesse que le langage accepté par cet automate L ( M ) est un langage déterministe sans contexte et génère un automate de refoulement déterministe N qui accepte précisément le langage accepté par M...
Cette question est liée à une question récente de Janoma . Contexte Dans la programmation par contraintes, une régulière contrainte globale ccc sur un domaine DDD est une paire (s,M)(s,M)(s, M) avec sss un tuple de variables (la portée) et MMM DFA sur le domaine DDD . Une affectation θθ\theta à sss...
Après avoir lu une question connexe , sur les preuves d'existence d'algorithmes non constructives, je me demandais s'il existe des méthodes pour montrer l'existence de "petites" machines de calcul (disons, par état) sans les construire. Officiellement: supposons qu'on nous donne un langage et...
Tous mes manuels utilisent le même algorithme pour produire un DFA avec une expression régulière: créez d'abord un NFA qui reconnaît le langage de l'expression régulière, puis, en utilisant la construction du sous-ensemble (aka "powerset"), convertissez le NFA en un DFA équivalent ( en minimisant...
Existe-t-il un 2DFA avec états (où n est non trivial, disons au moins 4) qui nécessite au moins 2 n états pour simuler en utilisant n'importe quel DFA?nnnnnn2n2n2^n Un DFA bidirectionnel (2DFA) est un automate à états finis déterministe qui est autorisé à se déplacer d'avant en arrière sur sa...
Les automates pushdown alternatifs unidirectionnels (1APDA) peuvent reconnaître n'importe quelle langue en (Alternation par Chandra, Kozen et Stockmeyer, 1981) . En remplaçant un stockage pushdown d'un 1APDA par un compteur, nous pouvons obtenir un automate alternatif unidirectionnel avec un...
Mise à jour: Il semble que ce problème ait été étudié et résolu récemment, voir cet article wiki: http://en.wikipedia.org/wiki/Tree_walking_automaton Et aussi cette enquête: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Supposons qu'au lieu de l'ensemble habituel de mots, {0,1} *, nos mots...
Un DFA ou un NFA lit une chaîne d'entrée avec une seule tête, se déplaçant de gauche à droite. Il semble naturel de s'interroger sur les machines à états finis qui ont plusieurs têtes , chacune se déplaçant à travers l'entrée de gauche à droite, mais pas nécessairement au même endroit dans l'entrée...
Je suis intéressé par une légère généralisation de DFA. Comme d'habitude, nous avons un ensemble d'états , un alphabet fini , une action définie sur par et l'état initial ; mais au lieu de l'ensemble habituelle terminal, nous prenons une famille de sous - ensembles de . Un DFA multilingue est alors...