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

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

Namespace Prefixes

PrefixIRI
n19http://g.co/kg/g/
dcthttp://purl.org/dc/terms/
n18https://www.amazon.fr/Finite-Automata-Mark-V-Lawson/dp/1584882557/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n17http://www.liafa.univ-paris-diderot.fr/~jep/PDF/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n4http://fr.dbpedia.org/resource/Modèle:
n8http://fr.dbpedia.org/resource/Fichier:
n11http://commons.wikimedia.org/wiki/Special:FilePath/
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n14http://www.liafa.univ-paris-diderot.fr/~jep/PDF/MPRI/
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:Théorème_des_variétés_d'Eilenberg
rdfs:label
Théorème des variétés d'Eilenberg
rdfs:comment
En informatique théorique, et notamment en théorie de langages rationnels, le théorème des variétés d'Eilenberg, aussi appelé théorème des variétés d'Eilenberg et Schützenberger d'après leurs découvreurs Samuel Eilenberg et Marcel-Paul Schützenberger, établit une correspondance entre variétés de langages formels rationnels et (pseudo-) variétés de monoïdes finis. Ce théorème des variétés, établi dans les années 1970 et dont l'exposé systématique occupe une large part du volume B du traité d'Eilenberg, constitue la base d'une théorie algébrique des langages rationnels qui s'est développée considérablement depuis. Il fournit le cadre qui permet de mettre en relation les propriétés algébriques de monoïdes et les propriétés combinatoires des langages rationnels.
owl:sameAs
wikidata:Q3527254 n19:11h1txdym
dbo:wikiPageID
6538771
dbo:wikiPageRevisionID
181714119
dbo:wikiPageWikiLink
dbpedia-fr:Langage_sans_étoile n8:Samuel_Eilenberg_MFO.jpeg dbpedia-fr:Langage_rationnel dbpedia-fr:Informatique_théorique dbpedia-fr:Demi-groupe dbpedia-fr:Academic_Press category-fr:Théorème_d'informatique dbpedia-fr:Variété_(algèbre) dbpedia-fr:Monoïde_syntaxique dbpedia-fr:Monoïde_apériodique dbpedia-fr:Monoïde dbpedia-fr:Garrett_Birkhoff dbpedia-fr:Information_and_Computation dbpedia-fr:Samuel_Eilenberg dbpedia-fr:Mot_(mathématiques) category-fr:Théorie_des_automates dbpedia-fr:Relations_de_Green dbpedia-fr:Marcel-Paul_Schützenberger n8:Schützenberger.jpeg category-fr:Langage_formel dbpedia-fr:World_Scientific
dbo:wikiPageExternalLink
n14:MPRI.pdf%7Cconsult%C3%A9 n17:York1.pdf n18:ref=sr_1_1%3Fie=UTF8&qid=1345184102&sr=8-1
dbo:wikiPageLength
19425
dct:subject
category-fr:Langage_formel category-fr:Théorie_des_automates category-fr:Théorème_d'informatique
prop-fr:wikiPageUsesTemplate
n4:Chapitre n4:Citation n4:Article n4:Théorème n4:Portail n4:Plume n4:Harv n4:Références n4:Google_Livres n4:Exp n4:Palette_Automates_finis_et_langages_réguliers n4:Ouvrage n4:Palette
prov:wasDerivedFrom
wikipedia-fr:Théorème_des_variétés_d'Eilenberg?oldid=181714119&ns=0
foaf:depiction
n11:Samuel_Eilenberg_MFO.jpeg n11:Schützenberger.jpeg
prop-fr:année
1995 1986 2012 2002 2003 1965 1976 1975
prop-fr:collection
NATO Advanced Study Institute Series C Lecture Notes in Computer Science Pure and Applied Mathematics Foundations of Computer Science
prop-fr:doi
10.1016
prop-fr:id
GomesPinSilva
prop-fr:isbn
978 0 1
prop-fr:langue
en
prop-fr:lienAuteur
Samuel Eilenberg Marcel-Paul Schützenberger
prop-fr:lieu
Dordrecht Boca Raton/London/New York etc.
prop-fr:lireEnLigne
--06-20 n17:York1.pdf
prop-fr:nom
Schützenberger Gomes Pin Eilenberg Simon Silva Lawson
prop-fr:numéro
2 3
prop-fr:pages
413 190
prop-fr:pagesTotales
310 320 515 xiii+387 x+138
prop-fr:passage
95 214 1
prop-fr:prénom
Imre Jean-Éric Marcel-Paul Gracinda M. S. Mark V. Samuel Pedro V.
prop-fr:présentationEnLigne
n18:ref=sr_1_1%3Fie=UTF8&qid=1345184102&sr=8-1
prop-fr:périodique
Advances in Math. Information and Control
prop-fr:sousTitre
: Coimbra, Portugal, May-July 2001
prop-fr:titre
Varieties of formal languages Finite Automata Mathematical Foundations of Automata Theory Semigroups, algorithms, automata, and languages On finite monoids having only trivial subgroups On pseudovarieties Automata, Languages and Machines, Vol. B
prop-fr:titreChapitre
Finite semigroups and recognizable languages: an introduction Piecewise testable events
prop-fr:titreOuvrage
Semigroups, Formal Languages and Groups Proceedings 2nd GI Conference
prop-fr:volume
19 8
prop-fr:éditeur
Support de cours du Master Parisien de Recherche en Informatique Springer-Verlag Chapman and Hall/CRC Kluwer Academic Publishers dbpedia-fr:Academic_Press dbpedia-fr:World_Scientific Plenum Publishing Corp.
prop-fr:auteursOuvrage
H. Brakhage J. Fountain
prop-fr:numéroDansCollection
466 33 59
prop-fr:sousTitreOuvrage
York, 1993
prop-fr:mathReviews
89 530383
prop-fr:mr
401604
dbo:thumbnail
n11:Samuel_Eilenberg_MFO.jpeg?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:Théorème_des_variétés_d'Eilenberg
dbo:abstract
En informatique théorique, et notamment en théorie de langages rationnels, le théorème des variétés d'Eilenberg, aussi appelé théorème des variétés d'Eilenberg et Schützenberger d'après leurs découvreurs Samuel Eilenberg et Marcel-Paul Schützenberger, établit une correspondance entre variétés de langages formels rationnels et (pseudo-) variétés de monoïdes finis. Ce théorème des variétés, établi dans les années 1970 et dont l'exposé systématique occupe une large part du volume B du traité d'Eilenberg, constitue la base d'une théorie algébrique des langages rationnels qui s'est développée considérablement depuis. Il fournit le cadre qui permet de mettre en relation les propriétés algébriques de monoïdes et les propriétés combinatoires des langages rationnels. Un exemple célèbre de cette correspondance, établi par Schützenberger en 1965, donc avant la formulation du théorème des variétés, est le théorème de qui caractérise les langages rationnels « sans étoile » par la propriété que leur monoïde syntaxique n'a que des « sous-groupes triviaux », en d'autres termes, les -classes qui sont des groupes sont des singletons (monoïdes apériodiques finis). Un autre résultat de cette nature est dû à Imre Simon : un langage rationnel est testable par morceaux si et seulement si son monoïde syntaxique est -trivial, c'est-à-dire sa relation est l'identité. Il faut noter tout de suite que le théorème des variétés ne généralise pas ces résultats, et en particulier n'en fournit pas de preuve, mais permet de bien les formuler dans un cadre approprié. La notion de variété de monoïdes finis utilisée dans l'énoncé diffère de la notion classique de variété d'algèbres par sa définition et ses propriétés : une variété de monoïdes finis est définie comme étant notamment fermées par produit direct fini, alors qu'une variété d'algèbres est défini par des équations, et c'est le théorème HSP de Birkhoff qui établit l'équivalence entre définition par équations et fermeture par produit direct quelconque. Pour marquer cette différence, les variétés de monoïdes finis ont été appelées pseudo-variétés. Une autre différence est que les variétés de monoïdes finis ne sont pas toujours définissables par des équations. L'étude des équations a conduit d'ailleurs à une formulation plus générale d'équations.