Property |
Value |
dbo:abstract
|
- En informatique théorique, et notamment dans la théorie des langages algébriques, le théorème de Parikh est un théorème qui compare les fréquences relatives d'apparition des lettres dans un langage algébrique. Il dit que si on compte, dans un langage formel, uniquement le nombre d'apparitions des lettres dans un mot, on ne peut pas distinguer les langages algébriques des langages rationnels. Ce théorème a été prouvé par Rohit Parikh en 1966, et il figure dans bon nombre de manuels d'informatique théorique. (fr)
- En informatique théorique, et notamment dans la théorie des langages algébriques, le théorème de Parikh est un théorème qui compare les fréquences relatives d'apparition des lettres dans un langage algébrique. Il dit que si on compte, dans un langage formel, uniquement le nombre d'apparitions des lettres dans un mot, on ne peut pas distinguer les langages algébriques des langages rationnels. Ce théorème a été prouvé par Rohit Parikh en 1966, et il figure dans bon nombre de manuels d'informatique théorique. (fr)
|
dbo:namedAfter
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 5869 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:année
|
- 1966 (xsd:integer)
- 1978 (xsd:integer)
- 1997 (xsd:integer)
- 2009 (xsd:integer)
|
prop-fr:auteur
|
- Jacques Sakarovitch (fr)
- Jacques Sakarovitch (fr)
|
prop-fr:isbn
|
- 0 (xsd:integer)
- 3 (xsd:integer)
- 978 (xsd:integer)
|
prop-fr:langue
| |
prop-fr:lieu
|
- Cambridge (fr)
- New York (fr)
- Cambridge (fr)
- New York (fr)
|
prop-fr:nom
|
- Harrison (fr)
- Ginsburg (fr)
- Kozen (fr)
- Harrison (fr)
- Ginsburg (fr)
- Kozen (fr)
|
prop-fr:non
|
- Théorème de Parikh (fr)
- Théorème de Parikh (fr)
|
prop-fr:oclc
| |
prop-fr:pagesTotales
|
- 594 (xsd:integer)
- 758 (xsd:integer)
|
prop-fr:prénom
|
- Dexter (fr)
- Seymour (fr)
- Michael A. (fr)
- Dexter (fr)
- Seymour (fr)
- Michael A. (fr)
|
prop-fr:titre
|
- Introduction to Formal Language Theory (fr)
- Elements of Automata Theory (fr)
- The Mathematical Theory of Context-free Languages (fr)
- Automata and Computability (fr)
- Introduction to Formal Language Theory (fr)
- Elements of Automata Theory (fr)
- The Mathematical Theory of Context-free Languages (fr)
- Automata and Computability (fr)
|
prop-fr:wikiPageUsesTemplate
| |
prop-fr:éditeur
| |
prop-fr:énoncé
|
- Pour tout langage algébrique , l'ensemble des vecteurs de Parikh des mots de est un ensemble semi-linéaire. (fr)
- Pour tout langage algébrique , l'ensemble des vecteurs de Parikh des mots de est un ensemble semi-linéaire. (fr)
|
dct:subject
| |
rdfs:comment
|
- En informatique théorique, et notamment dans la théorie des langages algébriques, le théorème de Parikh est un théorème qui compare les fréquences relatives d'apparition des lettres dans un langage algébrique. Il dit que si on compte, dans un langage formel, uniquement le nombre d'apparitions des lettres dans un mot, on ne peut pas distinguer les langages algébriques des langages rationnels. Ce théorème a été prouvé par Rohit Parikh en 1966, et il figure dans bon nombre de manuels d'informatique théorique. (fr)
- En informatique théorique, et notamment dans la théorie des langages algébriques, le théorème de Parikh est un théorème qui compare les fréquences relatives d'apparition des lettres dans un langage algébrique. Il dit que si on compte, dans un langage formel, uniquement le nombre d'apparitions des lettres dans un mot, on ne peut pas distinguer les langages algébriques des langages rationnels. Ce théorème a été prouvé par Rohit Parikh en 1966, et il figure dans bon nombre de manuels d'informatique théorique. (fr)
|
rdfs:label
|
- Théorème de Parikh (fr)
- Parikh's theorem (en)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:knownFor
of | |
is dbo:wikiPageWikiLink
of | |
is prop-fr:renomméPour
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |