This HTML5 document contains 46 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n11http://g.co/kg/m/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-pthttp://pt.dbpedia.org/resource/
n6http://fr.dbpedia.org/resource/Modèle:
n7http://fr.dbpedia.org/resource/Modèle:Traduction/
wikipedia-frhttp://fr.wikipedia.org/wiki/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n15http://ma-graph.org/entity/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Automate_à_file
rdfs:label
Automate à file Autômato com fila
rdfs:comment
En informatique théorique, et notamment en théorie des automates, un automate à file (en anglais « queue automaton ») est un automate fini doté d’une mémoire auxiliaire infinie organisée en file. C’est un modèle de calcul qui est équivalent aux machines de Turing, et accepte donc la même classe de langages. En cela, ce modèle diffère des automates à pile qui ne reconnaissent que les langages algébriques. Autant les automates à pile opèrent en mode last in, first out (LIFO), un automate à file travaille en mode first in, first out (FIFO).
owl:sameAs
dbr:Queue_automaton n11:03ctkmx wikidata:Q7271583 n15:2775931025 dbpedia-fa:ماشین_صف dbpedia-pt:Autômato_com_fila
dbo:wikiPageID
11034625
dbo:wikiPageRevisionID
178828820
dbo:wikiPageWikiLink
category-fr:Théorie_des_automates dbpedia-fr:Étoile_de_Kleene dbpedia-fr:Machine_de_Turing dbpedia-fr:Turing-complet dbpedia-fr:Last_in,_first_out dbpedia-fr:Système_de_Post dbpedia-fr:Théorie_de_la_calculabilité dbpedia-fr:Algorithme category-fr:Modèles_de_calcul dbpedia-fr:Automate_à_pile dbpedia-fr:Langage_de_programmation dbpedia-fr:File_(structure_de_données) dbpedia-fr:Théorie_des_automates dbpedia-fr:Automate_fini_déterministe dbpedia-fr:Système_de_tague dbpedia-fr:Architecture_matérielle dbpedia-fr:Automate_fini dbpedia-fr:Langage_formel dbpedia-fr:Informatique_théorique dbpedia-fr:Langage_algébrique
dbo:wikiPageLength
7263
dct:subject
category-fr:Théorie_des_automates category-fr:Modèles_de_calcul
prop-fr:wikiPageUsesTemplate
n6:' n6:, n7:Référence n6:Références n6:Portail n6:Citation_étrangère n6:Lien
prov:wasDerivedFrom
wikipedia-fr:Automate_à_file?oldid=178828820&ns=0
prop-fr:fr
Modèle équivalent aux machines de Turing
prop-fr:trad
Turing machine equivalents
foaf:isPrimaryTopicOf
wikipedia-fr:Automate_à_file
dbo:abstract
En informatique théorique, et notamment en théorie des automates, un automate à file (en anglais « queue automaton ») est un automate fini doté d’une mémoire auxiliaire infinie organisée en file. C’est un modèle de calcul qui est équivalent aux machines de Turing, et accepte donc la même classe de langages. En cela, ce modèle diffère des automates à pile qui ne reconnaissent que les langages algébriques. Autant les automates à pile opèrent en mode last in, first out (LIFO), un automate à file travaille en mode first in, first out (FIFO).