http://dbpedia.org/ontology/abstract
|
En informatique théorique, une structure a … En informatique théorique, une structure automatique est une structure définie à partir d'automates finis. L'intérêt principal de ces structures est de représenter de manière finie des objets infinis, ce qui offre un cadre « naturel » à la décidabilité de problèmes. En particulier, la vérification de modèles de formules de la logique du premier ordre est décidable sur les structures automatiques.décidable sur les structures automatiques.
|
http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Automate_addition_verificateur.svg?width=300 +
|
http://dbpedia.org/ontology/wikiPageID
|
10079013
|
http://dbpedia.org/ontology/wikiPageLength
|
7668
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
142086372
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://fr.dbpedia.org/resource/Langage_rationnel +
, http://fr.dbpedia.org/resource/Machine_de_Turing +
, http://fr.dbpedia.org/resource/Ensemble_d%C3%A9nombrable +
, http://fr.dbpedia.org/resource/Fichier:Automate_addition_verificateur.svg +
, http://fr.dbpedia.org/resource/Calcul_des_pr%C3%A9dicats +
, http://fr.dbpedia.org/resource/Graphe_d%27une_fonction +
, http://fr.dbpedia.org/resource/V%C3%A9rification_de_mod%C3%A8les +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Th%C3%A9orie_des_mod%C3%A8les +
, http://fr.dbpedia.org/resource/Structure_om%C3%A9ga-automatique +
, http://fr.dbpedia.org/resource/Lemme_de_l%27%C3%A9toile +
, http://fr.dbpedia.org/resource/Groupe_automatique +
, http://fr.dbpedia.org/resource/Puissance_du_continu +
, http://fr.dbpedia.org/resource/Groupe_%28math%C3%A9matiques%29 +
, http://fr.dbpedia.org/resource/Transducteur_fini +
, http://fr.dbpedia.org/resource/Informatique_th%C3%A9orique +
, http://fr.dbpedia.org/resource/D%C3%A9cidabilit%C3%A9 +
, http://fr.dbpedia.org/resource/Automate_fini +
, http://fr.dbpedia.org/resource/Structure_%28logique_math%C3%A9matique%29 +
|
http://fr.dbpedia.org/property/wikiPageUsesTemplate
|
http://fr.dbpedia.org/resource/Mod%C3%A8le:R%C3%A9f%C3%A9rences +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Portail +
|
http://purl.org/dc/terms/subject
|
http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Th%C3%A9orie_des_mod%C3%A8les +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://fr.wikipedia.org/wiki/Structure_automatique?oldid=142086372&ns=0 +
|
http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Automate_addition_verificateur.svg +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://fr.wikipedia.org/wiki/Structure_automatique +
|
owl:sameAs |
http://g.co/kg/g/11bzrlhf7j +
, http://fr.dbpedia.org/resource/Structure_automatique +
, http://www.wikidata.org/entity/Q25389880 +
|
rdfs:comment |
En informatique théorique, une structure a … En informatique théorique, une structure automatique est une structure définie à partir d'automates finis. L'intérêt principal de ces structures est de représenter de manière finie des objets infinis, ce qui offre un cadre « naturel » à la décidabilité de problèmes. En particulier, la vérification de modèles de formules de la logique du premier ordre est décidable sur les structures automatiques.décidable sur les structures automatiques.
|
rdfs:label |
Structure automatique
|