Calculabilité & Complexité - Xavier Dubuc

4.3.2 Langage calculé par un automate non-déterministe . ... 1 Préambule. Le cours se base sur 2 livres de références dont voici les références : Theoretical ...


Un extrait du document