Questions marquées «automata»

Questions sur les dispositifs mathématiques qui lisent un flux d'entrée symbole par symbole et utilisent une carte de transition d'état pour produire un flux de sortie, peut-être en utilisant un stockage secondaire.

1
Comment écrire une épreuve par induction sur la longueur de la chaîne d'entrée?
Dans mon cours de théorie de l'informatique, beaucoup de nos problèmes impliquent l'utilisation de l'induction sur la longueur de la chaîne d'entrée pour prouver les déclarations sur les automates finis. Je comprends l'induction mathématique, mais lorsque les cordes entrent en jeu, je suis vraiment déclenché. J'apprécierais vraiment que quelqu'un passe …
4
Définition du problème d'arrêt pour les automates non déterministes
La définition principale de la machine de Turing (TM), au moins dans mon propre manuel de référence (Hopcroft + Ullman 1979) est déterministe. Par conséquent, ma propre compréhension du problème de l' arrêt concerne principalement la MT déterministe, bien que je sache qu'il peut être envisagé pour d'autres types d'automates. …
1
Construire un PDA pour le complément d'
Je me demande si cela est encore possible, puisque {anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n b^n c^n \mid n \geq 0\} \not\in \mathrm{CFL} . Par conséquent, un PDA qui peut distinguer un mot w∈{anbncn∣n≥0}w∈{anbncn∣n≥0}w\in\{a^n b^n c^n \mid n \geq 0\} du reste de {a∗b∗c∗}{a∗b∗c∗}\{a^*b^*c^*\} pourrait aussi bien l'accepter, ce qui me semble contradictoire. Je suppose …
2
Quelles langues sont reconnues par les machines à guichet unique?
Les machines de comptage avec deux compteurs ou plus sont généralement équivalentes aux machines de Turing dans les cours sur la théorie du calcul. Cependant, je n'ai pas vu d'analyse formelle des langues pouvant être reconnues par une machine à guichet unique. Ces langues sont-elles équivalentes aux langues sans contexte …
5
Existe-t-il des propriétés indécidables des automates non complets de Turing?
Existe-t-il des propriétés indécidables des automates linéaires bornés (en évitant l'astuce de la langue vide)? Et pour un automate fini déterministe? (mettre de côté l'intraçabilité). J'aimerais obtenir un exemple (si possible) d'un problème indécidable défini sans utiliser de machines Turing explicitement les . Turing l'exhaustivité d'un modèle est-il nécessaire pour …
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.