Glossaire complet des termes de théorie des langages, compilation et sémantique formelle. Définitions claires avec renvois vers les articles de vulgarisation.