Théorie des langages et Sémantique
Date de publication : 23 septembre 2005 par Jean-Marie Le Yaouanc
Théorie des langages
But : Définir la syntaxe d’un langage ; Introduire la classification de Chomsky ; Comprendre l’utilisation des grammaires non contextuelles et leur équivalence avec les automates à piles. Introduire la récursivité, la calculabilité et les machines de Turing.
Sémantique
But : Définir l’intérêt d’une sémantique. Savoir définir une sémantique dénotationnelle, une sémantique opérationnelle, un schéma de machine et sa mise en oeuvre. Savoir définir une sémantique de type, et introduire un contrôle de type dans un langage.
Documents joints à l'article
Cours d’introduction au Lamba Calcul
Support du cours de MRI2A sur les systèmes formels (Introduction au Lambda calcul & Pi calcul) - Auteur : Fabien Dagnat [Enst Bretagne] - Taille du fichier: 904.3 ko
Partielles Sémantique et Théorie des langages
[année 2005] Source : Yaou Info’ - Examen très long ... ou il fallait aller à la pêche aux points - Auteurs : François Monin & Djamil Sarni - Taille du fichier: 820.1 ko
Projet de Sémantique
Sujet proposé en 2004-2005 par D. Sarni - Auteurs : Yvette Le Bras et Jean-Marie Le Yaouanc - Taille du fichier: 155.9 ko
Introduction à UNIX
