ufr:musee:collection:langages_algebriques [UFR Informatique]

Cette page est en lecture seule. Vous pouvez afficher le texte source, mais ne pourrez pas le modifier. Contactez votre administrateur si vous pensez qu'il s'agit d'une erreur.

====== Langages Algébriques ======

Cet ouvrage a été conçu dans les Pyrénées au cours de la première édition de l'Ecole de Printemps d'Informatique Théorique. La théorie des langages avait déjà suscité en France, sous l'impulsion de M.P. Schützenberger, de nombreuses vocations d'où sont issues des théories originales qui continuent à donner lieu à des travaux remarquables. Il importait de réunir spécialistes, jeunes chercheurs et utilisateurs de ces théories pour en faire le point et en favoriser le développement par la confrontation des idées. C'est la raison pour laquelle cette manifestation a été organisée. Depuis, d'autres Ecoles de Printemps ont été consacrées aux grands chapitres de l'informatique théorique : l'algorithmique, les monoïdes syntactiques, les schémas de programme et tout dernièrement les séries formelles.

La théorie des langages est née il y a plus de vingt ans des préoccupations des logiciens (Kleene) et des linguistes (Chomsky). Dévolue initialement à l'illustration de propriétés d'indécidabilité et à un essai de modélisation des langues naturelles, elle a trouvé sa voie avec l'avènement de l'informatique. Bien adaptée à la formalisation des langages de programmation,; elle a été utilisée pour la résolution de problèmes d'analyse syntaxique, d'où les appellations anglaises de certaines classes de langages : mathématiques

----
  * Jean-Pierre Crestin
  * [[wpfr>Maurice Nivat]]

{{tag>musee livre 1970 crestin nivat}}

Outils pour utilisateurs

Outils du site

Outils de la page