Attributes | Values |
---|
rdfs:label
| - Monoïde syntaxique (fr)
- Syntactic monoid (en)
- 语法幺半群 (zh)
|
rdfs:comment
| - En informatique théorique, et en particulier dans la théorie des automates finis, le monoïde syntaxique d'un langage formel est un monoïde naturellement attaché au langage. L'étude de ce monoïde permet de refléter certaines propriétés combinatoires du langage par des caractéristiques algébriques du monoïde. L'exemple le plus célèbre de cette relation est la caractérisation, due à Marcel-Paul Schützenberger, des langages rationnels sans étoile (que l'on peut décrire par des expressions rationnelles avec complément mais sans l'étoile de Kleene) : ce sont les langages dont le monoïde syntaxique est fini et apériodique, c'est-à-dire ne contient pas de sous-groupe non trivial. (fr)
|
sameAs
| |
Wikipage page ID
| |
Wikipage revision ID
| |
dbo:wikiPageWikiLink
| |
Link from a Wikipage to an external page
| |
page length (characters) of wiki page
| |
dct:subject
| |
prop-fr:wikiPageUsesTemplate
| |
prov:wasDerivedFrom
| |
foaf:depiction
| |
prop-fr:année
| |
prop-fr:auteur
| |
prop-fr:id
| |
prop-fr:isbn
| |
prop-fr:passage
| |
prop-fr:titreChapitre
| |
prop-fr:titreOuvrage
| - Handbook of Formal Languages (fr)
|
prop-fr:titreVolume
| - Word, Language, Grammar (fr)
|
prop-fr:volume
| |
prop-fr:éditeur
| |
prop-fr:auteursOuvrage
| - G. Rozenberg, A. Salomaa (fr)
|
thumbnail
| |
foaf:isPrimaryTopicOf
| |
has abstract
| - En informatique théorique, et en particulier dans la théorie des automates finis, le monoïde syntaxique d'un langage formel est un monoïde naturellement attaché au langage. L'étude de ce monoïde permet de refléter certaines propriétés combinatoires du langage par des caractéristiques algébriques du monoïde. L'exemple le plus célèbre de cette relation est la caractérisation, due à Marcel-Paul Schützenberger, des langages rationnels sans étoile (que l'on peut décrire par des expressions rationnelles avec complément mais sans l'étoile de Kleene) : ce sont les langages dont le monoïde syntaxique est fini et apériodique, c'est-à-dire ne contient pas de sous-groupe non trivial. (fr)
|
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |