| Property |
Value |
| dbo:abstract
|
- En informatique théorique, et notamment en théorie des automates, un automate fini déterministe bidirectionnel (en anglais « two-way deterministic finite automaton ») souvent abrégé en 2AFD (en anglais 2DFA), est un automate fini déterministe qui peut relire des symboles d'entrée déjà vus. Comme pour les automates finis déterministes usuels, un 2AFD possède un nombre fini d'états, et le passage d'un état à un autre est régi par des transitions en fonction du symbole lu. De plus, une transition porte une information sur la direction de déplacement de la lecture, soit vers la droite soit vers la gauche. Un automate bidirectionnel peut donc être vu comme une machine de Turing qui ne peut pas écrire sur sa bande de données et qui ne dispose pas de mémoire auxiliaire. (fr)
- En informatique théorique, et notamment en théorie des automates, un automate fini déterministe bidirectionnel (en anglais « two-way deterministic finite automaton ») souvent abrégé en 2AFD (en anglais 2DFA), est un automate fini déterministe qui peut relire des symboles d'entrée déjà vus. Comme pour les automates finis déterministes usuels, un 2AFD possède un nombre fini d'états, et le passage d'un état à un autre est régi par des transitions en fonction du symbole lu. De plus, une transition porte une information sur la direction de déplacement de la lecture, soit vers la droite soit vers la gauche. Un automate bidirectionnel peut donc être vu comme une machine de Turing qui ne peut pas écrire sur sa bande de données et qui ne dispose pas de mémoire auxiliaire. (fr)
|
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 14748 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1959 (xsd:integer)
- 1978 (xsd:integer)
- 1979 (xsd:integer)
- 2006 (xsd:integer)
- 2013 (xsd:integer)
|
| prop-fr:arxiv
| |
| prop-fr:auteur
|
- Dexter C. Kozen (fr)
- Giovanni Pighizzini (fr)
- Hing Leung (fr)
- Michael Sipser (fr)
- William J. Sakoda (fr)
- Dexter C. Kozen (fr)
- Giovanni Pighizzini (fr)
- Hing Leung (fr)
- Michael Sipser (fr)
- William J. Sakoda (fr)
|
| prop-fr:collection
|
- Texts in Computer Science (fr)
- Texts in Computer Science (fr)
|
| prop-fr:doi
|
- 10.100700 (xsd:double)
- 10.114500 (xsd:double)
- 10.114700 (xsd:double)
- 10.323300 (xsd:double)
|
| prop-fr:id
| |
| prop-fr:isbn
| |
| prop-fr:journal
| |
| prop-fr:langue
| |
| prop-fr:lieu
|
- Londres (fr)
- Londres (fr)
|
| prop-fr:mois
| |
| prop-fr:nom
|
- Scott (fr)
- Rabin (fr)
- Hopcroft (fr)
- Ullman (fr)
- Shepherdson (fr)
- Scott (fr)
- Rabin (fr)
- Hopcroft (fr)
- Ullman (fr)
- Shepherdson (fr)
|
| prop-fr:numéro
| |
| prop-fr:pages
|
- 114 (xsd:integer)
- 198 (xsd:integer)
- 225 (xsd:integer)
- 275 (xsd:integer)
|
| prop-fr:pagesTotales
|
- 418 (xsd:integer)
- xiv+418 (fr)
|
| prop-fr:passage
| |
| prop-fr:prénom
|
- Michael (fr)
- Jeffrey D. (fr)
- John E. (fr)
- John C. (fr)
- Dana S. (fr)
- Michael (fr)
- Jeffrey D. (fr)
- John E. (fr)
- John C. (fr)
- Dana S. (fr)
|
| prop-fr:présentationEnLigne
| |
| prop-fr:périodique
|
- IBM Journal of Research and Development (fr)
- Proceedings of the tenth annual ACM symposium on Theory of computing - STOC '78 (fr)
- IBM Journal of Research and Development (fr)
- Proceedings of the tenth annual ACM symposium on Theory of computing - STOC '78 (fr)
|
| prop-fr:titre
|
- Introduction to Automata Theory, Languages, and Computation (fr)
- Nondeterminism and the size of two way finite automata (fr)
- Finite automata and their decision problems (fr)
- Theory of Computation (fr)
- Two-Way Deterministic Finite Automata (fr)
- Two-Way Finite Automata: Old and Recent Results (fr)
- The reduction of two-way automata to one-way automata (fr)
- Introduction to Automata Theory, Languages, and Computation (fr)
- Nondeterminism and the size of two way finite automata (fr)
- Finite automata and their decision problems (fr)
- Theory of Computation (fr)
- Two-Way Deterministic Finite Automata (fr)
- Two-Way Finite Automata: Old and Recent Results (fr)
- The reduction of two-way automata to one-way automata (fr)
|
| prop-fr:url
| |
| prop-fr:volume
|
- 3 (xsd:integer)
- 126 (xsd:integer)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Association for Computing Machinery (fr)
- Springer Verlag (fr)
- Addison Wesley Publishing Company (fr)
- Department of Computer Science, New Mexico State University, Las Cruces, NM (fr)
- Association for Computing Machinery (fr)
- Springer Verlag (fr)
- Addison Wesley Publishing Company (fr)
- Department of Computer Science, New Mexico State University, Las Cruces, NM (fr)
|
| dct:subject
| |
| rdfs:comment
|
- En informatique théorique, et notamment en théorie des automates, un automate fini déterministe bidirectionnel (en anglais « two-way deterministic finite automaton ») souvent abrégé en 2AFD (en anglais 2DFA), est un automate fini déterministe qui peut relire des symboles d'entrée déjà vus. Comme pour les automates finis déterministes usuels, un 2AFD possède un nombre fini d'états, et le passage d'un état à un autre est régi par des transitions en fonction du symbole lu. De plus, une transition porte une information sur la direction de déplacement de la lecture, soit vers la droite soit vers la gauche. Un automate bidirectionnel peut donc être vu comme une machine de Turing qui ne peut pas écrire sur sa bande de données et qui ne dispose pas de mémoire auxiliaire. (fr)
- En informatique théorique, et notamment en théorie des automates, un automate fini déterministe bidirectionnel (en anglais « two-way deterministic finite automaton ») souvent abrégé en 2AFD (en anglais 2DFA), est un automate fini déterministe qui peut relire des symboles d'entrée déjà vus. Comme pour les automates finis déterministes usuels, un 2AFD possède un nombre fini d'états, et le passage d'un état à un autre est régi par des transitions en fonction du symbole lu. De plus, une transition porte une information sur la direction de déplacement de la lecture, soit vers la droite soit vers la gauche. Un automate bidirectionnel peut donc être vu comme une machine de Turing qui ne peut pas écrire sur sa bande de données et qui ne dispose pas de mémoire auxiliaire. (fr)
|
| rdfs:label
|
- Automate fini déterministe bidirectionnel (fr)
- Autômato finito determinístico de dois sentidos (pt)
- Automate fini déterministe bidirectionnel (fr)
- Autômato finito determinístico de dois sentidos (pt)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
