3 de ce résultat est qu'un automate fini ne peut si- muler une pile de hauteur non
bornée (voir cha- pitre £Mod`eles de machines£). 5 Automates non déterministes
. Les automates non déterministes consti- tuent une variante importante des
automates déterministes. Ils sont eux aussi représentés par un graphe étiqueté ... 
