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

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

Namespace Prefixes

PrefixIRI
dbpedia-elhttp://el.dbpedia.org/resource/
dbpedia-nohttp://no.dbpedia.org/resource/
n19http://id.ndl.go.jp/auth/ndlna/
n13http://www.yso.fi/onto/yso/
dbpedia-svhttp://sv.dbpedia.org/resource/
n50http://mwl.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/
dbpedia-fihttp://fi.dbpedia.org/resource/
dbpedia-hrhttp://hr.dbpedia.org/resource/
dbpedia-shhttp://sh.dbpedia.org/resource/
n40http://id.worldcat.org/fast/
n6http://fr.dbpedia.org/resource/Modèle:
dbpedia-arhttp://ar.dbpedia.org/resource/
n59http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
dbpedia-hehttp://he.dbpedia.org/resource/
n44http://tl.dbpedia.org/resource/
n10https://bigenc.ru/text/
n36http://commons.wikimedia.org/wiki/Special:FilePath/
dbpedia-frhttp://fr.dbpedia.org/resource/
n52https://www.britannica.com/topic/
dbpedia-mkhttp://mk.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-cshttp://cs.dbpedia.org/resource/
n64http://g.co/kg/m/
n18https://d-nb.info/gnd/
dbpedia-kkhttp://kk.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n12https://id.loc.gov/authorities/names/
n38http://tg.dbpedia.org/resource/
n57http://fr.dbpedia.org/resource/Fichier:
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-idhttp://id.dbpedia.org/resource/
dbpedia-ukhttp://uk.dbpedia.org/resource/
n14http://ma-graph.org/entity/
prop-frhttp://fr.dbpedia.org/property/
dbohttp://dbpedia.org/ontology/
dbpedia-srhttp://sr.dbpedia.org/resource/
dbpedia-vihttp://vi.dbpedia.org/resource/
dbpedia-pthttp://pt.dbpedia.org/resource/
n43http://mathworld.wolfram.com/
dbpedia-skhttp://sk.dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-dehttp://de.dbpedia.org/resource/
dbpedia-thhttp://th.dbpedia.org/resource/
dbpedia-rohttp://ro.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
n15https://www.quora.com/topic/
n51http://data.bnf.fr/ark:/12148/cb119395737#
n46https://commons.wikimedia.org/wiki/Category:
n33http://hi.dbpedia.org/resource/
dbpedia-cahttp://ca.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
dbpedia-nnhttp://nn.dbpedia.org/resource/
n56https://www.jstor.org/topic/
n60http://bs.dbpedia.org/resource/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-simplehttp://simple.dbpedia.org/resource/
wikipedia-frhttp://fr.wikipedia.org/wiki/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
dbpedia-trhttp://tr.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
owlhttp://www.w3.org/2002/07/owl#

Statements

Subject Item
dbpedia-fr:Théorie_des_automates
rdf:type
owl:Thing wikidata:Q11862829 dbo:AcademicSubject dbo:TopicalConcept n59:Concept
rdfs:label
Théorie des automates オートマトン Teoria d'autòmats Teoría de autómatas Теорія автоматів Automatentheorie
rdfs:comment
En informatique théorique, l'objectif de la théorie des automates est de proposer des modèles de mécanismes mathématiques qui formalisent les méthodes de calcul. Cette théorie est le fondement de plusieurs branches importantes de l'informatique théorique, comme : Les automates n'ont pas d'existence physique, mais sont un modèle abstrait.
rdfs:seeAlso
n10:1850012 n15:Automata-Theory n43:AutomataTheory.html n46:Automata_theory n52:automata-theory n56:automata-theory
owl:sameAs
dbpedia-de:Automatentheorie dbpedia-cs:Teorie_automatů dbpedia-kk:Автоматтар_теориясы n12:sh85079341 n13:p26349 n14:116248031 dbpedia-tr:Otomat_teorisi dbpedia-sk:Teória_automatov n18:4003953-5 n19:00568995 dbpedia-ko:오토마타_이론 dbpedia-zh:自動機理論 dbpedia-ca:Teoria_d'autòmats dbpedia-ar:نظرية_التشغيل_الذاتي dbpedia-sv:Automatteori dbpedia-he:תורת_האוטומטים dbpedia-el:Θεωρία_αυτομάτων dbpedia-sr:Teorija_automata n33:ऑटोमेटा_सिद्धांत dbpedia-simple:Automata_theory dbpedia-uk:Теорія_автоматів n38:Назарияи_автоматҳо dbpedia-id:Teori_otomata n40:1004846 dbpedia-th:ทฤษฎีออโตมาตา dbpedia-ru:Теория_автоматов n44:Teorya_ng_automata wikidata:Q214526 dbpedia-no:Automatteori dbpedia-pl:Teoria_automatów dbpedia-es:Teoría_de_autómatas dbpedia-fi:Automaattiteoria n50:Teorie_de_ls_outómatos n51:about dbpedia-fa:نظریه_اتوماتا dbpedia-nn:Automatteori dbpedia-hr:Teorija_automata dbpedia-vi:Lý_thuyết_Automat n60:Teorija_automata dbpedia-mk:Теорија_на_автоматите dbpedia-sh:Teorija_automata dbpedia-ro:Teoria_automatelor n64:0q28q dbpedia-pt:Teoria_dos_autômatos dbpedia-ja:オートマトン dbr:Automata_theory
dbo:wikiPageID
820219
dbo:wikiPageRevisionID
186823321
dbo:wikiPageWikiLink
dbpedia-fr:Michael_Rabin dbpedia-fr:Théorème_de_Parikh dbpedia-fr:Réécriture_(informatique) dbpedia-fr:Vuibert dbpedia-fr:Machine_de_Turing dbpedia-fr:Langage_algébrique dbpedia-fr:Addison-Wesley dbpedia-fr:Langage_contextuel dbpedia-fr:Théorie_de_la_calculabilité dbpedia-fr:Théorie_de_la_complexité_(informatique_théorique) category-fr:Informatique_théorique dbpedia-fr:Algorithme dbpedia-fr:Hiérarchie_de_Chomsky dbpedia-fr:Transducteur_fini dbpedia-fr:Modèle_statistique dbpedia-fr:Structure_de_Kripke dbpedia-fr:Transduction_rationnelle dbpedia-fr:Compilateur dbpedia-fr:Grammaire_d'arbres_adjoints dbpedia-fr:Étoile_de_Kleene dbpedia-fr:Éditions_Dunod dbpedia-fr:PSPACE dbpedia-fr:Mot_(mathématiques) dbpedia-fr:Fonction_logique dbpedia-fr:Grammaire_formelle dbpedia-fr:Algorithme_de_recherche_de_sous-chaîne dbpedia-fr:Problème_du_mot dbpedia-fr:Alphabet dbpedia-fr:Test_de_primalité dbpedia-fr:Modèle_de_Markov_caché dbpedia-fr:Langage_formel dbpedia-fr:Jeffrey_Ullman dbpedia-fr:Boustrophédon dbpedia-fr:Informatique_théorique dbpedia-fr:Langage_rationnel category-fr:Théorie_des_automates dbpedia-fr:Récursivement_énumérable dbpedia-fr:Coq_(logiciel) dbpedia-fr:Vérification_de_modèles dbpedia-fr:Demi-anneau dbpedia-fr:Automate_cheminant dbpedia-fr:Automate_de_Büchi dbpedia-fr:John_Wiley_&_Sons dbpedia-fr:Linguistique dbpedia-fr:Classe_de_complexité dbpedia-fr:Pierre_Simonnet dbpedia-fr:Linguistique_formelle dbpedia-fr:Thèse_de_Church dbpedia-fr:Automate_fini dbpedia-fr:File_(structure_de_données) dbpedia-fr:Automate_fini_alternant dbpedia-fr:Automate_de_Muller dbpedia-fr:Automate_fini_non_déterministe dbpedia-fr:John_Hopcroft dbpedia-fr:Automate_fini_déterministe n57:Maquina.png dbpedia-fr:Automate_pondéré dbpedia-fr:Automate_probabiliste dbpedia-fr:Automate_quantique dbpedia-fr:Automate_à_file dbpedia-fr:Automate_à_piles_emboîtées dbpedia-fr:Système_de_transition_d'états dbpedia-fr:Automate_à_pile dbpedia-fr:Automate_à_pile_visible dbpedia-fr:Processus_de_Markov category-fr:Langage_formel dbpedia-fr:Alan_Turing dbpedia-fr:Traitement_automatique_des_langues dbpedia-fr:Reconnaissance_de_formes dbpedia-fr:Monoïde dbpedia-fr:Intelligence_artificielle
dbo:wikiPageLength
20262
dct:subject
category-fr:Informatique_théorique category-fr:Langage_formel category-fr:Théorie_des_automates
prop-fr:wikiPageUsesTemplate
n6:Références n6:Article_détaillé n6:Citation_étrangère n6:Ouvrage n6:Voir_homonymes n6:Palette n6:Commentaire_biblio n6:Loupe n6:ISBN n6:Portail
prov:wasDerivedFrom
wikipedia-fr:Théorie_des_automates?oldid=186823321&ns=0
foaf:depiction
n36:Maquina.png
prop-fr:année
2008 2003 1997 2020 1978 1979
prop-fr:auteur
Yliès Falcone J. C. Martin Jean-Claude Fernandez Michael A. Harrison Daniel I. A. Cohen Olivier Carton John E. Hopcroft et Jeffrey D. Ullman
prop-fr:id
Cohen Sakarovitch Carton2008 Falcone2020 HU
prop-fr:isbn
978
prop-fr:langue
fr
prop-fr:lieu
Paris Grenoble
prop-fr:nom
Sakarovitch
prop-fr:pagesTotales
320 237 816
prop-fr:prénom
Jacques
prop-fr:sousTitre
licence et master de mathématiques ou d'informatique, option informatique de l'agrégation de mathématiques Rappels des notions essentielles et plus de 170 exercices corrigés
prop-fr:titre
Éléments de théorie des automates Langages formels, calculabilité et complexité Automates à états finis et langages réguliers Introduction to Languages and the Theory of Computation, Introduction to Formal Language Theory Introduction to Automata Theory, Languages and Computation Introduction to Computer Theory
prop-fr:éditeur
dbpedia-fr:Éditions_Dunod dbpedia-fr:Addison-Wesley dbpedia-fr:Vuibert McGraw-Hill dbpedia-fr:John_Wiley_&_Sons
dbo:thumbnail
n36:Maquina.png?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:Théorie_des_automates
dbo:abstract
En informatique théorique, l'objectif de la théorie des automates est de proposer des modèles de mécanismes mathématiques qui formalisent les méthodes de calcul. Cette théorie est le fondement de plusieurs branches importantes de l'informatique théorique, comme : * La calculabilité, par le modèle des machines de Turing ; * Les automates finis, et leurs variantes, qui sont utilisés dans l'analyse des langues naturelles, la traduction des programmes par les compilateurs, divers algorithmes de manipulation de textes comme les algorithmes de recherche de sous-chaîne, ou la vérification automatique du fonctionnement de circuits logiques; * La théorie de la complexité des algorithmes, visant à classifier les algorithmes en fonction des ressources temporelles et en mémoire nécessaires à leur exécution ; * La vérification de modèle qui sert à établir la conformité de programmes à leurs spécifications. Voir par exemple Coq. Les automates n'ont pas d'existence physique, mais sont un modèle abstrait.
dbo:isPartOf
dbpedia-fr:Informatique_théorique