Résultats de la recherche

...le [[théorème de Chomsky-Schützenberger (combinatoire)|théorème de Chomsky-Schützenberger]] sur l'algébricité de la série énumératrice du nombre de mots d'un langage ...nberger]]. Il figure dans leur article commun de 1963<ref>{{harvsp|Chomsky-Schützenberger (1963)|réf=CS}}.</ref>. ...

La famille des langages sans étoiles est<ref name="Carton" /> la plus petite famille de langages formels : === Théorème de Schützenberger === ...

...ons.</ref> d'après leurs découvreurs [[Samuel Eilenberg]] et [[Marcel-Paul Schützenberger]], établit une correspondance entre variétés de langages formels 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èm ...

| nom = Marcel-Paul Schützenberger | image = Schützenberger.jpeg ...

...f>{{harvsp|Elgot et Mezei (1965)|réf=ElgotMezei}}</ref>, par [[Marcel-Paul Schützenberger]] et [[Maurice Nivat]], et employées notamment par [[Seymour Ginsburg]] et ...*\times B^*</math>. En d'autres termes, c'est un élément de la plus petite famille de parties de <math>A^*\times B^*</math> contenant la relation vide, les si ...

...[[Théorème de Chomsky-Schützenberger (langage formel)|théorème de Chomsky Schützenberger]] énonce en effet que tout [[langage algébrique]] est l'image par un [[morp * Le théorème de Chomsky–Schützenberger énonce que tout langage algébrique est une image homomorphe de l'intersecti ...

=== Théorème de Kleene-Schützenberger === On doit au mathématicien [[Marcel-Paul Schützenberger]] l'extension du théorème de Kleene aux [[Série formelle|séries formelles]] ...

...''' (parfois appelée '''hiérarchie de Chomsky-[[Marcel-Paul Schützenberger|Schützenberger]]''') est une classification des [[grammaire formelle|grammaires formelles] ...e de la classification de Chomsky est que, pour chaque type, il existe une famille d’[[théorie des automates|automates]] qui acceptent exactement les langages ...

=== La solution de Dejan et Schützenberger === ...urs exemples sont définis [[Définition par récurrence|par récurrence]]. La famille d'expressions régulières sur l’alphabet binaire <math>\{a,b\}</math> est la ...

Une sous-famille des automates séquentiels est celle des automates séquentiels dits '''purs' ...uel Eilenberg]]. [[Marcel-Paul Schützenberger]]<ref name="Schutz">{{harvsp|Schützenberger|1977|p=}}.</ref> appelle sous-séquentielle une fonction séquentielle, et sé ...

...tions rationnelles]] ou le fait que les langages algébriques forment une [[famille abstraite de langages]]. ...r les opérations rationnelles (union, produit, étoile), donc forment une [[famille abstraite de langages]]. ...

...ensemble rationnel''' dans un [[monoïde]] est un élément de la plus petite famille de sous-ensembles de ce monoïde qui contient toutes les parties finies et q ...ionnels'' ou ''parties rationnelles'' de <math>N</math> est la plus petite famille de parties de <math>N</math> contenant les parties finie et fermé sous les ...

...le [[théorème de Chomsky-Schützenberger (combinatoire)|théorème de Chomsky-Schützenberger]], cette série est algébrique pour un langage engendré par une grammaire in ...urs une grammaire inambiguë. Ils constituent une sous-classe stricte de la famille des langages inambigus. Le langage des palindromes ci-dessus fournit un exe ...

...ce théorème implique une version faible de l'axiome du choix : pour toute famille d'ensembles finis non vides, il existe une fonction de choix<ref>{{article| ...une famille génératrice du sous-groupe pour réduire la « taille » de cette famille (en termes des longueurs des mots réduits – sur les générateurs du groupe l ...

* des [[réécriture (informatique) | systèmes de réécriture]]. Une famille particulière est formée des [[langage congruentiel|langages congruentiels]] ...ous donne quatre types de grammaire, chaque type de grammaire générant une famille de langage. ...

...Françoise Dejean et [[Marcel-Paul Schützenberger]]<ref>{{harvsp|Dejean et Schützenberger (1966)|réf=DejeanSchutz1966}}.</ref>. Le [[problème de la hauteur d'étoile] ...angage sans étoile|langages sans étoile]] » caractérisés par [[Marcel-Paul Schützenberger]]. ...

...ple dans le manuel de {{harvsp|Shallit|2009|loc=2.3 The theorems of Lyndon–Schützenberger}}.</ref>. On peut voir cet énoncé comme la description des solutions de l'é ...polynôme non commutatif]] est une [[combinaison linéaire]] de mots sur une famille d’indéterminées. ...

...ont appelés '''langages stochastiques'''; ils comprennent, et étendent, la famille des [[langage rationnel|langages rationnels]]. En particulier, le nombre de ...est une forme particulière de représentation linéaire d'une [[Marcel-Paul Schützenberger|série formelle rationnelle]] en variables non commutatives : c'est le cas p ...

.../%7Eberstel/SiteSchutzenberger/Cours/PolyRouge.pdf cours] de [[Marcel-Paul Schützenberger]] rédigé par Jean-François Perrot, ou dans l'article {{Article | auteur = J Cette famille a été étudiée par [[Juris Hartmanis|Hartmanis]], Lewis et [[Richard E. Stea ...

{{Voir homonymes|Langevin|Famille Langevin}} Né juste après la [[Commune de Paris]] dans une famille républicaine, Paul est le fils de Victor-Charles Langevin, ouvrier métreur- ...