A.1 Grammaires formelles

Dans cet exercice on veut construire un automate non-déterministe sans ... langages reconnaissables et du fait que le langage {anbn | n ? 0} n'est pas ...