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

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

Namespace Prefixes

PrefixIRI
n12http://g.co/kg/g/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n5http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
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/

Statements

Subject Item
dbpedia-fr:Langage_congruentiel
rdfs:label
Langage congruentiel
rdfs:comment
Un langage congruentiel est un langage formel qui est la réunion d'un nombre fini de classes d'une congruence sur l'alphabet donné. Un cas important est celui où la congruence est engendrée par un système de réécriture fini. Selon le type du système de réécriture, la complexité algorithmique du problème du mot peut être linéaire en temps, PSPACE-complet ou indécidable. Les classes de langages congruentiels forment une autre hiérarchie de langages, incomparable à la hiérarchie de Chomsky.
owl:sameAs
n12:11c0q0_w5j wikidata:Q25391821
dbo:wikiPageID
10125710
dbo:wikiPageRevisionID
171958510
dbo:wikiPageWikiLink
dbpedia-fr:Langage_algébrique dbpedia-fr:Langage_algébrique_déterministe dbpedia-fr:Propriété_de_Church-Rosser dbpedia-fr:Automate_fini dbpedia-fr:Théorie_de_la_complexité_(informatique_théorique) dbpedia-fr:Hiérarchie_de_Chomsky dbpedia-fr:Alonzo_Church category-fr:Langage_formel dbpedia-fr:John_Barkley_Rosser dbpedia-fr:Langage_rationnel dbpedia-fr:Réécriture_(informatique) dbpedia-fr:Palindrome dbpedia-fr:Langage_sans_étoile dbpedia-fr:PSPACE category-fr:Théorie_des_automates dbpedia-fr:Morphisme dbpedia-fr:Alphabet dbpedia-fr:Théorie_des_automates dbpedia-fr:Langage_formel dbpedia-fr:Linguistique dbpedia-fr:Problème_du_mot category-fr:Informatique_théorique dbpedia-fr:Langage_de_Łukasiewicz dbpedia-fr:Grammaire_formelle dbpedia-fr:Confluence_(informatique) dbpedia-fr:Langage_de_Dyck dbpedia-fr:Mot_(mathématiques)
dbo:wikiPageLength
11655
dct:subject
category-fr:Théorie_des_automates category-fr:Langage_formel category-fr:Informatique_théorique
prop-fr:wikiPageUsesTemplate
n5:Portail n5:Fin_de_colonnes n5:Début_de_colonnes n5:Références
prov:wasDerivedFrom
wikipedia-fr:Langage_congruentiel?oldid=171958510&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:Langage_congruentiel
dbo:abstract
Un langage congruentiel est un langage formel qui est la réunion d'un nombre fini de classes d'une congruence sur l'alphabet donné. Un cas important est celui où la congruence est engendrée par un système de réécriture fini. Selon le type du système de réécriture, la complexité algorithmique du problème du mot peut être linéaire en temps, PSPACE-complet ou indécidable. Les classes de langages congruentiels forment une autre hiérarchie de langages, incomparable à la hiérarchie de Chomsky.