B2) Alphabets, terminaux et non-terminaux

Apprenez à distinguer les terminaux et non-terminaux dans BP3. Découvrez comment les alphabets musicaux structurent vos grammaires pour la musique algorithmique.

L6) SOS pour les nuls

La sémantique opérationnelle structurelle (SOS) est cruciale pour comprendre l’exécution des langages. Ce guide détaillé vous révèle ses principes et applications pratiques.

L5) Les trois sémantiques

Explorez les 3 sémantiques formelles : opérationnelle, dénotationnelle et axiomatique. Comprenez comment elles décrivent le sens des programmes et choisissez la bonne approche pour vos projets.