#Théorème de #Chomsky #Schützenberger :

En #InformatiqueThéorique , et notamment en théorie des langages formels, le théorème de Chomsky-Schützenberger est un théorème de représentation. Il affirme que tout langage algébrique peut s'exprimer, au moyen d'une certaine construction, à partir d'un langage de Dyck. Le théorème affirme que les langages de Dyck sont des langages algébriques « typiques ». Ce théorème figure dans leur article commun de #1963 .

https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_Chomsky-Sch%C3%BCtzenberger_(langage_formel)

Marcel-Paul #Schützenberger , né le 24 octobre 1920 à Paris et mort le 29 juillet 1996 dans la même ville, est un #scientifique #français , dont les recherches ont d'abord porté sur la #médecine et la #biologie , mais surtout connu pour ses travaux en #mathématiques , en #informatique théorique et en #combinatoire . Il est le fondateur de la combinatoire des mots et un pionnier de la théorie des #codes en longueur variable.

https://fr.wikipedia.org/wiki/Marcel-Paul_Sch%C3%BCtzenberger

En #informatique théorique, en théorie des langages , et en #calculabilité , la hiérarchie de #Chomsky (parfois appelée hiérarchie de Chomsky- #Schützenberger ) est une classification des grammaires formelles (et par extension, des #langages formels respectifs engendrés par les grammaires), esquissée par Noam Chomsky en 1956, et décrite de façon formelle en 1959.

https://fr.wikipedia.org/wiki/Hi%C3%A9rarchie_de_Chomsky