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

10
Les ordinateurs réels n'ont qu'un nombre fini d'états. Quelle est donc la pertinence des machines de Turing par rapport aux ordinateurs réels?
Les ordinateurs réels ont une mémoire limitée et seulement un nombre fini d'états. Donc, ce sont essentiellement des automates finis. Pourquoi les informaticiens théoriques utilisent-ils les machines de Turing (et d’autres modèles équivalents) pour étudier les ordinateurs? Quel est l'intérêt d'étudier ces modèles beaucoup plus forts en ce qui concerne …
6
Les expressions régulières ne sont pas
Demandez même à une personne ayant une formation en informatique ce qu’est une expression régulière et la réponse ira probablement au-delà de la contrainte d’être à la portée d’un automate à états finis. Par exemple, l'expression «expression régulière» /^1?$|^(11+?)\1+$/ créé par une personnalité notée de Perl, Abigail (et faisant partie …
1
La hiérarchie rationnelle d'Eilenberg des automates et des langages non rationnels - où est-elle maintenant?
Dans la préface de ses livres très influents Automates, Langages et Machines (Volumes A, B), Samuel Eilenberg a promis de façon alléchante les Volumes C et D traitant "d'une hiérarchie (appelée hiérarchie rationnelle) des phénomènes non rationnels ... utilisant des relations rationnelles comme un outil de comparaison. Les ensembles rationnels …
2
Est-ce que {
La langue est-elle { } hors contexte ou non?aibjck | i≠j,i≠k,j≠kaibjck | i≠j,i≠k,j≠ka^{i}b^{j}c^{k} ~|~ i \neq j, i \neq k, j \neq k J'ai réalisé que j'ai rencontré presque toutes les variantes de cette question avec des conditions différentes sur la relation entre i, j et k, mais pas celle-ci. …
4
Existe-t-il de «petites» machines capables de faire correspondre efficacement les expressions régulières?
Il est bien connu qu'une expression régulière peut être reconnue par un automate fini non déterministe de taille proportionnelle à l'expression régulière, ou par une FA déterministe qui est potentiellement exponentiellement plus grande. De plus, étant donné une chaîne et une expression régulière , la NFA peut tester l'appartenance en …
2
Conditions d'universalité NFA
Considérons un automate fini non déterministe et une fonction . De plus, nous définissons .A=(Q,Σ,δ,q0,F)A=(Q,Σ,δ,q0,F)A = (Q, \Sigma, \delta, q_0, F)f(n)f(n)f(n)Σ≤k=⋃i≤kΣiΣ≤k=⋃i≤kΣi\Sigma^{\leq k} = \bigcup_{i \leq k} \Sigma^i Analysons maintenant la déclaration suivante: Si , alors .Σ≤f(|Q|)⊆L(A)Σ≤f(|Q|)⊆L(A)\Sigma^{\leq f(|Q|)} \subseteq L(A)L(A)=Σ∗L(A)=Σ∗L(A) = \Sigma^* Il est facile de montrer que pour c'est vrai, …
4
Existe-t-il un modèle de calcul non complet de Turing dont le problème d'arrêt est indécidable?
Je ne peux pas penser à un tel modèle, peut-être une forme de calcul lambda typé? un automate cellulaire élémentaire? Cela réfuterait presque le «principe d'équivalence informatique» de Wolfram: Presque tous les processus qui ne sont évidemment pas simples peuvent être considérés comme des calculs de sophistication équivalente
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.