About: dbpedia-fr:Automate_fini_déterministe

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Automate_fini_déterministe_bidirectionnel Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	Automate fini déterministe bidirectionnel (fr) Autômato finito determinístico de dois sentidos (pt)
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)
sameAs	dbr:Two-way_finite_automaton wikidata:Q243800 dbpedia-de:Zweiwege-DFA dbpedia-fa:دستگاه_دو_طرفه_قطعی_متناهی dbpedia-pt:Autômato_finito_determinístico_de_dois_sentidos http://g.co/kg/m/0bhddc http://ma-graph.org/entity/139423837
Wikipage page ID	10020451 (xsd:integer)
Wikipage revision ID	178683538 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Automates_finis_et_langages_réguliers Alfred Aho dbpedia-fr:Automate_fini_déterministe dbpedia-fr:Automate_quantique dbpedia-fr:Automate_à_pile category-fr:Théorie_des_automates dbpedia-fr:Dana_S._Scott dbpedia-fr:Fundamenta_Informaticae Theoretical computer science Jeffrey Ullman dbpedia-fr:John_Hopcroft dbpedia-fr:Juris_Hartmanis dbpedia-fr:Langage_rationnel Turing machine dbpedia-fr:Prix_Turing Richard E. Stearns dbpedia-fr:Théorie_des_automates dbpedia-fr:Transducteur_fini dbpedia-fr:Michael_Rabin
Link from a Wikipage to an external page	http://www.math.nmsu.edu/hist_projects/2DFA.pdf https://arxiv.org/abs/cs/9911009 https://books.google.com/books%3Fid=e1RgC3jjt7EC&printsec=frontcover
page length (characters) of wiki page	14748 (xsd:nonNegativeInteger)
dct:subject	category-fr:Automates_finis_et_langages_réguliers category-fr:Théorie_des_automates
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:' dbpedia-fr:Modèle:, dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Citation_étrangère dbpedia-fr:Modèle:Lien_web dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Plume dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Palette_Automates_finis_et_langages_réguliers
prov:wasDerivedFrom	wikipedia-fr:Automate_fini_déterministe_bidirectionnel?oldid=178683538&ns=0
foaf:depiction
prop-fr:année	1959 (xsd:integer) 1978 (xsd:integer) 1979 (xsd:integer) 2006 (xsd:integer) 2013 (xsd:integer)
prop-fr:arxiv	1208 (xsd:double)
prop-fr:auteur	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)
prop-fr:doi	10 (xsd:double) 10 (xsd:double) 10 (xsd:double) 10 (xsd:double)
prop-fr:id	HL (fr)
prop-fr:isbn	978 (xsd:integer)
prop-fr:journal	dbpedia-fr:Fundamenta_Informaticae IBM Journal of Research and Development (fr)
prop-fr:langue	en (fr)
prop-fr:lieu	Londres (fr)
prop-fr:mois	avril (fr)
prop-fr:nom	Scott (fr) Rabin (fr) Hopcroft (fr) Ullman (fr) Shepherdson (fr)
prop-fr:numéro	2 (xsd:integer)
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	124 (xsd:integer)
prop-fr:prénom	Michael (fr) Jeffrey D. (fr) John E. (fr) John C. (fr) Dana S. (fr)
prop-fr:présentationEnLigne	https://books.google.com/books%3Fid=e1RgC3jjt7EC&printsec=frontcover
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)
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)

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 15 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software