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 même chose pour ?p p c ( L )...
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...
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...
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...
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 , 1 , 2 , . . . , i }{0,1,2,...,i}\{0, 1, 2, ..., i\}UNEAABBBΣjeΣi\Sigma_iA ×...
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...
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...
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 de complexité d'état suivante telle que s ( n...
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 Question: Le problème...
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 veux dire spécifiquement les familles de langues qui admettent des chaînes arbitrairement longues - pas des conjonctions sur n bits ou des listes de décisions ou tout autre langage "simple" contenu dans {0,1} ^ n. Je pose des questions sur les langages normaux "théoriques des automates" par...
D'après mon expérience, les langages contextuels et les automates linéaires bornés sont souvent ignorés ou ignorés dans les cours de théorie de la calculabilité, et sont même exclus de certains manuels remarquables, bien que les automates finis et déroulants reçoivent beaucoup d'attention. Il doit...
Je voudrais savoir pourquoi pour la reconnaissance des langues sans contexte, seuls les automates déroulants non déterministes (DPA = NPDA) fonctionnent. Pourquoi les automates déterministes push-down (DPDA) ne reconnaissent-ils pas ces
Je suis intéressé par des algorithmes efficaces pour l'intersection DFA pour des cas spéciaux. A savoir, lorsque les DFA se croisent obéissent à une certaine structure et / ou opèrent sur un alphabet limité. Y a-t-il une source où je peux trouver des algorithmes de tels cas? Afin de ne pas rendre...
Étant donné un langage régulier sur l'alphabet A , son automate déterministe minimal peut être vu comme un multigraphe connecté dirigé avec un degré extérieur constant | A | et un état initial marqué (en oubliant les étiquettes de transitions, les états finaux). Nous gardons l'état initial car...
L'algorithme de Brzozowski pour convertir un DFA en DFA à état minimum équivalent est remarquablement simple: si dénote le NFA formé en inversant tous les bords d'un DFA D , faisant de l'ancien état de départ un état acceptant et faisant de l'ancien acceptant Etats commencent états, et si P ( N )...
Les automates bornés linéaires non déterministes à visite bornée ne reconnaissent-ils que les langues régulières? Par un automate borné linéaire non déterministe (nLBA), je veux dire une machine de Turing non déterministe à bande unique où l'entrée est "rembourrée" avec des marqueurs de fin aux...
Soit un alphabet de taille 2 , et considérons des DFA minimaux dont la taille est limitée par au plus m . Soit f ( m ) le nombre de différents DFA minimaux.ΣΣ\Sigma222mmmF( m )f(m)f(m) Peut-on trouver une formule sous forme fermée pour ?F( m )f(m)f(m) Considérant que pour la fonction de transition...
Soit un alphabet fini. Un code sur est un sous - ensemble de de telle sorte que chaque mot dans peut être unique représenté sous la forme d' une concaténation de mots . Un code est fini siest fini. Que sait-on des automates (minimaux) reconnaissant pour un code fini ? Existe-t-il une...
Étant donné un DFA complet A=(Q,Γ,δ,F)A=(Q,Γ,δ,F)A=(Q, \Gamma, \delta, F) , nous pouvons définir une collection de fonctions fafaf_a pour chacune a∈Γa∈Γa\in \Gamma et avec fa:Q→Qfa:Q→Qf_a:Q\rightarrow Q , fa(q)=δ(q,a)fa(q)=δ(q,a)f_a(q)=\delta(q, a) . On peut généraliser cette notion à un mot...