Informatique MPI
Tout le chapitre de grammaires est au programme. Rien n'est exigible sur l'analyse syntaxique, mais on pourra proposer des exercices autour de méthode d'analyse syntaxique, avec un peu de guidage. Il faut savoir jouer avec l'ambiguïté d'une grammaire (montrer qu'elle ambiguë, et proposer sans nécessairement de justification formelle une grammaire non-ambiguë qui engendre le même langage, quitte à être guidé). Le plus important est de savoir rédiger des preuves par induction sur les arbres de dérivations des mots, par exemple pour montrer que le langage d'une grammaire est inclus dans un autre langage.
