Théorie
Automates, langages formels, calculabilité, logique, compilateurs.
Les fondements théoriques — ce qui est calculable, et ce qui ne l’est pas.
Automates, langages formels, calculabilité, logique, compilateurs.
Les fondements théoriques — ce qui est calculable, et ce qui ne l’est pas.