Par rapport à la grammaire présentée dans la première partie, on utilisera ici un jeu de règles plus puissant et on ajoutera l'analyse sémantique à l'analyse syntaxique. Pour cela, on a besoin de pouvoir faire du lambda calcul.
