Questions marquées «automata-theory»

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

1
Minimisation DFA multilingue
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 …
2
Les automates d'arborescence non déterministes sont-ils plus forts que les automates déterministes?
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 ne soient pas linéaires mais plutôt donnés sur une structure arborescente. Pour éviter …
3
Dureté de trouver un mot de longueur au plus acceptée par un automate pushdown non déterministe
Énoncé du problème: Soit un automate de refoulement (potentiellement non déterministe) et soit son alphabet d'entrée. Y a-t-il un mot st accepté par ?A w ∈ A ∗ | w | ≤ k MMMMAA\cal Aw∈A∗w∈A∗w \in \cal A^*|w|≤k|w|≤k|w| \leq kMMM Ce problème est-il NP-complet? At-il été étudié? Existe-t-il un algorithme …
1
Adhésion monoïde de transition pour les DFA
É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 w=a1,⋯,amw=a1,⋯,amw=a_1, \cdots, a_m et fw=fa1∘⋯∘famfw=fa1∘⋯∘famf_w=f_{a_1}\circ \cdots \circ f_{a_m} où∘∘\circ désigne la composition …
1
Automates reconnaissant pour un code fini
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 ? …
3
Classe de langues reconnaissables par les MT à bande unique à 3 états
Depuis un certain temps, je suis curieux de voir les machines de Turing avec exactement une bande et exactement 3 états (à savoir l'état de démarrage , l'état d'acceptation et l'état de rejetq0q0q_0qacceptqacceptq_{accept}qrejectqrejectq_{reject} ). Notez que j'autorise les alphabets de bande arbitraires (finis) (c'est-à-dire que l'alphabet de bande n'est pas …
1
Les automates bornés linéaires non déterministes à visite bornée ne reconnaissent-ils que les langues régulières?
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 deux extrémités qui ne peuvent …
1
Multigraphes dirigés comme automates minimaux
É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 chaque sommet …
4
Pourquoi les automates linéaires bornés ne sont-ils pas aussi populaires que les autres automates?
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 sûrement y avoir une bonne raison …
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.