About: dbpedia-fr:Langage

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

About: dbpedia-fr:Langage_congruentiel 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	Langage congruentiel (fr)
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. (fr)
sameAs	wikidata:Q25391821 http://g.co/kg/g/11c0q0_w5j
Wikipage page ID	10125710 (xsd:integer)
Wikipage revision ID	171958510 (xsd:integer)
dbo:wikiPageWikiLink	Alonzo Church Alphabet dbpedia-fr:Automate_fini category-fr:Informatique_théorique category-fr:Langage_formel category-fr:Théorie_des_automates Confluence (abstract rewriting) Formal grammar Chomsky hierarchy J. Barkley Rosser dbpedia-fr:Langage_algébrique dbpedia-fr:Langage_algébrique_déterministe dbpedia-fr:Langage_de_Dyck dbpedia-fr:Langage_de_Łukasiewicz dbpedia-fr:Langage_formel dbpedia-fr:Langage_rationnel dbpedia-fr:Langage_sans_étoile Grammar dbpedia-fr:Morphisme dbpedia-fr:Mot_(mathématiques) dbpedia-fr:PSPACE Palindrome dbpedia-fr:Problème_du_mot dbpedia-fr:Propriété_de_Church-Rosser Rewriting dbpedia-fr:Théorie_de_la_complexité_(informatique_théorique) dbpedia-fr:Théorie_des_automates
page length (characters) of wiki page	11655 (xsd:nonNegativeInteger)
dct:subject	category-fr:Informatique_théorique category-fr:Langage_formel category-fr:Théorie_des_automates
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Début_de_colonnes dbpedia-fr:Modèle:Fin_de_colonnes dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références
prov:wasDerivedFrom	wikipedia-fr:Langage_congruentiel?oldid=171958510&ns=0
foaf:isPrimaryTopicOf	wikipedia-fr:Langage_congruentiel
has 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. (fr)
is dbo:wikiPageWikiLink of	dbpedia-fr:Langage_formel dbpedia-fr:Langage_rationnel
is oa:hasTarget of	Wikidata Fr related
is foaf:primaryTopic of	wikipedia-fr:Langage_congruentiel

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, 10 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software