Schutzenberger Marcel-Paul

En 1949, Marcel-Paul Schützenberger est docteur en médecine en France. Les problèmes rencontrés dans son travail l'amènent à employer des statistiques médicales, puis à se tourner vers les mathématiques. Ce passage d'un domaine à l'autre devient le fil conducteur de son parcours.

Ses recherches portent ensuite sur les demi-groupes, les codes, les automates finis et les langages algébriques. Elles font de lui un pionnier de l'informatique théorique, tout en prolongeant son intérêt initial pour les usages des mathématiques.

Marcel-Paul Schützenberger (1920-1996) est un médecin, mathématicien et chercheur français en informatique théorique. Après son doctorat en médecine de 1949, l'application de la statistique à des problèmes médicaux l'oriente vers les mathématiques. En 1953, il soutient sous la direction de Darmois et Chatelet la thèse Contributions aux applications statistiques de la théorie de l'information.

Devenu maître puis directeur de recherches au CNRS, il enseigne les probabilités et les statistiques à la faculté des sciences de Poitiers. Il occupe ensuite une chaire d'informatique théorique à Paris et y enseigne aussi la programmation. Son parcours comprend plusieurs séjours dans des universités américaines. La frise associée met en regard quatre jalons datés de cette trajectoire.

Ses contributions fondatrices concernent les demi-groupes, les codes, les automates finis et les langages algébriques. Son traité Une théorie algébrique du codage paraît en 1956. La théorie des codes y relie l'algèbre des demi-groupes libres à la théorie de l'information et à celle du signal. Le groupe de Schützenberger date de 1957. La collaboration avec Noam Chomsky produit en 1956 le théorème de Chomsky-Schützenberger sur les langages algébriques. Schützenberger collabore aussi avec Shannon et entre à l'Académie des sciences en 1988.

Pour suivre un exemple attesté de circulation entre disciplines, prenons le parcours qui conduit Schützenberger de la médecine à la théorie des codes. Les données sont son doctorat de médecine en 1949, sa thèse de mathématiques en 1953 et son traité sur le codage en 1956.

1. Partir des problèmes médicaux : son activité professionnelle lui fait appliquer des méthodes statistiques.

2. Repérer le changement de cadre : en 1953, la théorie de l'information figure explicitement dans le titre de sa thèse de mathématiques.

3. Observer le prolongement : en 1956, Une théorie algébrique du codage relie les codes, les demi-groupes libres, l'information et le signal. Le contrôle consiste à retrouver ces trois dates et ces domaines dans la chronologie source, sans attribuer à une seule année l'ensemble de ses recherches.

Pour lire une bibliographie, classez chaque résultat par objet. Le traité de 1956 concerne le codage ; le théorème de Chomsky-Schützenberger concerne les langages algébriques ; le groupe de Schützenberger appartient au cadre des codes et des demi-groupes. Mini-cas : devant la référence Une théorie algébrique du codage (1956), notez « traité — codage — 1956 », et non « théorème avec Chomsky » ou « groupe de 1957 ».

Pour situer une contribution, suivez la date qui lui est propre. Retenez 1953 pour la thèse de mathématiques, 1956 pour le traité et le théorème, 1957 pour le groupe de Schützenberger, puis 1988 pour l'élection à l'Académie des sciences.

Pour explorer les filiations scientifiques, choisissez le lien selon la question. Chomsky éclaire les langages algébriques ; Shannon, la théorie de l'information ; les demi-groupes, la dimension algébrique des travaux de Schützenberger.

La théorie des codes et le théorème de Chomsky-Schützenberger. Le critère est l'objet nommé : le traité de 1956 porte sur le codage, tandis que le théorème issu de la collaboration avec Chomsky porte sur les langages algébriques. Une référence au second ne désigne donc pas automatiquement le traité.

Le groupe de Schützenberger et l'ensemble de ses travaux. La date et le périmètre tranchent : le groupe est une notion introduite en 1957 dans le cadre des codes, alors que ses recherches couvrent aussi les automates finis et les langages algébriques.

Marcel-Paul Schützenberger et ses collaborateurs. Un résultat commun doit être nommé comme tel. Le théorème de 1956 est celui de Chomsky-Schützenberger ; la source mentionne séparément une collaboration avec Shannon.

Ne pas concentrer toutes les contributions en 1956. Cette année correspond au traité sur le codage et au théorème avec Chomsky. Le groupe de Schützenberger est daté de 1957 ; il faut donc conserver deux jalons distincts.

Ne pas dater ce que la source ne date pas. Les passages au CNRS, à Poitiers et à Paris, ainsi que les séjours américains, sont attestés sans année précise. Une chronologie doit les laisser non datés plutôt que les placer par déduction.

Ne pas réduire le parcours à une discipline, ni la fiche à un traité technique. Une biographie limitée à l'informatique théorique ferait disparaître la médecine, la biologie, les mathématiques et le rôle charnière des statistiques. Inversement, cette fiche situe les codes, les automates finis et les langages algébriques sans en développer les définitions ni les résultats mathématiques. Pour approfondir, les prolongements orientent vers la théorie de l'information pour le versant information et codage, vers Chomsky pour les langages algébriques, et vers Chomsky ou Shannon pour les collaborations.

Chomsky Noam présente le collaborateur associé au théorème de Chomsky-Schützenberger sur les langages algébriques.

Shannon Claude situe le fondateur de la théorie de l'information avec lequel Schützenberger a collaboré.

Théorie de l'information approfondit le domaine présent dans la thèse de 1953 et relié ensuite à la théorie des codes.