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.
B10) L’EBNF de BP3
Découvrez la grammaire formelle EBNF de BP3, une première ! Spécification complète (~83 productions) de la syntaxe du langage musical. Indispensable pour tout parseur.
B9) Time-objects
Les time-objects BP3 dépassent la musique ! Découvrez comment cette grammaire temporelle organise sons, vidéos, robotique et synthèse granulaire. Un outil de composition multimédia universel.
S10 Sous le capot
Découvrez l’anatomie complète du pipeline BPscript : compilateur JS, moteur WebAssembly, resolver et dispatcher. Du fichier .bp au son, tout est expliqué !
M7) Le paysage des langages musicaux formels
Découvrez 20+ langages musicaux formels, de Csound à TidalCycles. Généalogie, tableau comparatif et positionnement unique de BP3. Une cartographie essentielle !
L17) La matrice de complexité
Découvrez la matrice de complexité qui révèle le couplage différentiel entre génération et parsing. Comprenez pourquoi leur asymétrie ne se limite pas à O(n) vs O(n³).
L16) Le paradoxe de la bidirectionnalité
Les grammaires réversibles existent depuis 50 ans. Pourquoi la bidirectionnalité n’a-t-elle pas été adoptée ? Cet article explore les raisons structurelles de cette asymétrie persistante.
L15) Les formules de l’asymétrie
L’asymétrie génération-parsing est mathématique. Découvrez les formules clés : complexité O(n), nombres de Catalan, surprisal. Comprenez ses 6 dimensions fondamentales.
L14) La direction du parsing
La génération est toujours descendante. Mais le parsing (LL, LR) a une liberté directionnelle unique. Découvrez cette asymétrie fondamentale, essentielle pour les compilateurs.