Théorie des automates, y compris les machines abstraites, les grammaires, l'analyse syntaxique, l'inférence grammaticale, les transducteurs et les techniques à états finis
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 …
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 …
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 …
Immerman (Descriptive Complexity, 1999) présente les jeux EF pour le second ordre existentiel monadique (jeux Ajtai-Fagin) à la page 127. Comme MSO sur les mots est équivalent aux langues normales, le jeu peut être écrit comme suit.∃∃\exists Une langue est régulière si et seulement si Delilah n'a pas de stratégie …
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 transducteurs considérés ici sont ceux que Wikipedia appelle les transducteurs à états finis . Le comportement d'un transducteur , qui est la relation qu'il calcule, est écrit : un mot est une sortie pour ssi .[ T ] y x x [ T ] yTTT[ T][T][T]yyyXxxx [ T] yx[T]yx[T]y …
Soit un nombre . Considérons la langue suivante L n = {nnn .Ln= {w w|w ∈ { 0 , 1 }n}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} En termes, est l'ensemble des chaînes de copie de longueur 2 n .LnLnL_n2 n2n2n Considérons la fonction …
Il existe un problème ouvert dans les langages formels connu sous le nom de problème de séparation; qui est brièvement indiqué comme étant donné deux chaînes distinctes de longueur , la taille d'un DFA est nécessaire pour les "séparer", ce qui signifie accepter une chaîne mais rejeter l'autre.nnn Voici quelques …
Quelle est l'approche standard pour minimiser Büchi-Automata (ou aussi Müller-Automata)? Le transfert de la technique habituelle à partir de mots finis, c'est-à-dire la mise à égalité de deux états si les mots "en cours d'exécution" des états acceptés sont les mêmes, ne fonctionnera pas. Par exemple, considérons le Büchi-Automoton acceptant …
Plus précisément ce que je veux dire par addition est, nous définissons pour être l'alphabet { 0 , 1 , 2 , . . . , i } . Compte tenu de langues régulières A et B sous un alphabet Σ i , regardez A × B .ΣjeΣi\Sigma_i{ 0 , …
Un automate déterministe est appelé -local pour si pour chaque l'ensemble contient au plus un élément. Intuitivement, cela signifie que si un mot de longueur mène à un état, alors cet état est unique, ou dit différemment d'un mot arbitraire de longueur les derniers symboles déterminent l'état vers lequel il …
Soit un langage sans contexte. Définir soit à la fermeture avant et postfixe de , en d' autres termes, contient l' ensemble des des préfixes des suffixes de » et, et par conséquent elle - même. Ma question: si est sans contexte et a une grammaire non ambiguë, est-ce la …
J'essaie de dresser une taxonomie d'algorithmes pour transformer des expressions régulières en automates afin d'effectuer des tests empiriques de leurs propriétés de complexité dans des domaines spécifiques. Je connais plusieurs des plus grands noms, par exemple, Thompson "Algorithme de recherche d'expression régulière", Thompson, 1968 Glushkov "Un nouvel algorithme quadratique pour …
Salut à tous, j'essaie actuellement de trouver un sujet de thèse de master solide se rapportant à une branche de la théorie des automates ou lié aux langages formels. J'essaie de générer de bonnes idées sur ce qu'est un sujet acceptable, quelque chose d'ambitieux mais quelque chose de faisable en …
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 …
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.