| http://dbpedia.org/ontology/abstract
|
En informatique théorique, et notamment en … 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. qui ne dispose pas de mémoire auxiliaire.
, In computer science, in particular in automata theory, a two-way finite automaton is a finite automaton that is allowed to re-read its input.
, Em Ciência da Computação, em particular em Teoria dos Autômatos, um autômato é chamado two-way se é permitido reler sua entrada.
, In der Informatik ist ein Zweiwege determi … In der Informatik ist ein Zweiwege deterministischer endlicher Automat (Zweiwege-DFA, 2DFA) ein Automat, genauer gesagt ein deterministischer endlicher Automat (DFA), der bereits gelesene Zeichen noch einmal besuchen kann. Wie im DFA gibt es auch im 2DFA eine endliche Anzahl an Zuständen, die durch Transitionen unter Beachtung des zu lesenden Zeichens miteinander verbunden sind. Darüber hinaus ist jede Transition auch mit der Information gekennzeichnet, ob der Automat seine Leseposition nach links oder nach rechts ändert. 2DFAs können demnach auch als schreibgeschützte Turingmaschine mit nur lesbarem Eingabeband betrachtet werden. Für 2DFAs kann man zeigen, dass sie dieselbe Mächtigkeit haben wie DFAs; das heißt, jede formale Sprache, die von einem 2DFA erkannt wird, kann auch von einem DFA, der lediglich alle Zeichen in der Reihenfolge abarbeitet, erkannt werden. Da DFAs offensichtlich ein Spezialfall der 2DFAs sind, erkennen beide Automaten genau die Menge der regulären Sprachen. Jedoch kann der zum 2DFA äquivalente DFA exponentiell mehr Zustände haben, was den 2DFA für Algorithmen einiger Grundprobleme um einiges praktischer macht. Sie sind auch äquivalent zu schreibgeschützten Turingmaschinen, die nur eine gleichbleibende Menge an Platz auf dem Arbeitsband haben, da jede konstante Menge an Information in den endlichen Kontrollzustand über eine Produktbildung eingebracht werden kann (ein Zustand für jede Kombination von Arbeitsband und Kontrollzustand). Das Konzept der 2DFAs geht auf Michael O. Rabins und Dana Scotts Arbeit Finite automata and their decision problems zurück und wurde 1997 von John Watrous' On the Power of 2-Way Quantum Finite State Automata zu Quantenautomaten verallgemeinert, in der er zeigt, dass diese Automaten auch nichtreguläre Sprachen erkennen können und somit noch mächtiger sind als 2DFAs.n und somit noch mächtiger sind als 2DFAs.
|
| http://dbpedia.org/ontology/wikiPageID
|
4088117
|
| http://dbpedia.org/ontology/wikiPageLength
|
11839
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1086526580
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Quantum_computing +
, http://dbpedia.org/resource/Michael_Sipser +
, http://dbpedia.org/resource/Formal_language +
, http://dbpedia.org/resource/Pushdown_automaton +
, http://dbpedia.org/resource/Read-only_Turing_machine +
, http://dbpedia.org/resource/John_Watrous_%28computer_scientist%29 +
, http://dbpedia.org/resource/Alternating_finite_automaton +
, http://dbpedia.org/resource/NL_%28complexity%29 +
, http://dbpedia.org/resource/Regular_language +
, http://dbpedia.org/resource/Deterministic_finite_automaton +
, http://dbpedia.org/resource/Automata_theory +
, http://dbpedia.org/resource/Richard_E._Ladner +
, http://dbpedia.org/resource/Finite_automaton +
, http://dbpedia.org/resource/Michael_O._Rabin +
, http://dbpedia.org/resource/L_%28complexity%29 +
, http://dbpedia.org/resource/Richard_J._Lipton +
, http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/Tuple +
, http://dbpedia.org/resource/Christos_Kapoutsis +
, http://dbpedia.org/resource/Nondeterministic_finite_automaton +
, http://dbpedia.org/resource/Larry_Stockmeyer +
, http://dbpedia.org/resource/Computational_complexity_theory +
, http://dbpedia.org/resource/Category:Finite_automata +
, http://dbpedia.org/resource/Viliam_Geffert +
, http://dbpedia.org/resource/Dana_Scott +
, http://dbpedia.org/resource/Abstract_machine +
, http://dbpedia.org/resource/P_vs._NP +
|
| http://dbpedia.org/property/date
|
October 2021
|
| http://dbpedia.org/property/reason
|
'L' and 'R' are not allowed in the 2nd component of a \delta result. Probably, in the right hand side of the following 4 equations, 'L' should be fixed to 'left' and 'R' to 'right'?
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Unsolved +
, http://dbpedia.org/resource/Template:Clarify +
, http://dbpedia.org/resource/Template:Main +
, http://dbpedia.org/resource/Template:Short_description +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Finite_automata +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Two-way_finite_automaton?oldid=1086526580&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Two-way_finite_automaton +
|
| owl:sameAs |
http://pt.dbpedia.org/resource/Aut%C3%B4mato_finito_determin%C3%ADstico_de_dois_sentidos +
, http://de.dbpedia.org/resource/Zweiwege-DFA +
, http://dbpedia.org/resource/Two-way_finite_automaton +
, https://global.dbpedia.org/id/2J37M +
, http://www.wikidata.org/entity/Q243800 +
, http://fr.dbpedia.org/resource/Automate_fini_d%C3%A9terministe_bidirectionnel +
, http://fa.dbpedia.org/resource/%D8%AF%D8%B3%D8%AA%DA%AF%D8%A7%D9%87_%D8%AF%D9%88_%D8%B7%D8%B1%D9%81%D9%87_%D9%82%D8%B7%D8%B9%DB%8C_%D9%85%D8%AA%D9%86%D8%A7%D9%87%DB%8C +
|
| rdfs:comment |
Em Ciência da Computação, em particular em Teoria dos Autômatos, um autômato é chamado two-way se é permitido reler sua entrada.
, In der Informatik ist ein Zweiwege determi … In der Informatik ist ein Zweiwege deterministischer endlicher Automat (Zweiwege-DFA, 2DFA) ein Automat, genauer gesagt ein deterministischer endlicher Automat (DFA), der bereits gelesene Zeichen noch einmal besuchen kann. Wie im DFA gibt es auch im 2DFA eine endliche Anzahl an Zuständen, die durch Transitionen unter Beachtung des zu lesenden Zeichens miteinander verbunden sind. Darüber hinaus ist jede Transition auch mit der Information gekennzeichnet, ob der Automat seine Leseposition nach links oder nach rechts ändert. 2DFAs können demnach auch als schreibgeschützte Turingmaschine mit nur lesbarem Eingabeband betrachtet werden.ur lesbarem Eingabeband betrachtet werden.
, In computer science, in particular in automata theory, a two-way finite automaton is a finite automaton that is allowed to re-read its input.
, En informatique théorique, et notamment en … 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. qui ne dispose pas de mémoire auxiliaire.
|
| rdfs:label |
Zweiwege-DFA
, Automate fini déterministe bidirectionnel
, Autômato finito determinístico de dois sentidos
, Two-way finite automaton
|
