Index Grammaires, musique et langages formels Cette série d’articles explore un territoire inhabituel : celui où la théorie des langages formels rencontre la musique algorithmique. Le fil conducteur est BP2SC, un transpileur qui convertit les grammaires musicales du Bol Processor en patterns SuperCollider. Chaque article est conçu pour être accessible sans prérequis académique, mais suffisamment […]
Glossaire des Langages Formels et de la Compilation
Glossaire complet des termes de théorie des langages, compilation et sémantique formelle. Définitions claires avec renvois vers les articles de vulgarisation.
L11) Au-delà des trois sémantiques
Les sémantiques classiques ont leurs limites. Découvrez les sémantiques avancées : traductionnelle, de processus et algébrique. Donnez du sens aux compilateurs, systèmes concurrents et types de données.
L10) Grammaires d’attributs
Les grammaires d’attributs de Knuth enrichissent les arbres syntaxiques avec des propriétés calculables. Découvrez attributs synthétisés, hérités et leur lien avec les flags de BP3.
L4) Qu’est-ce qu’un AST ?
Plongez au cœur des compilateurs ! Découvrez ce qu’est un AST (Abstract Syntax Tree), comment il simplifie votre code et son rôle clé dans la compilation. Indispensable pour tout développeur.
L2) Grammaires Context-Free
Plongez dans les Grammaires Context-Free (CFG) et comprenez comment les compilateurs et parseurs interprètent la syntaxe des langages. Essentiel pour tout développeur !