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 complet des termes de théorie des langages, compilation et sémantique formelle. Définitions claires avec renvois vers les articles de vulgarisation.
L’**inférence grammaticale** : le défi ultime. Impossible (Gold), dure comme casser RSA, elle est le cas extrême de la reconnaissance. Apprendre, c’est compresser.
Le slogan « générer est facile, analyser est difficile » est faux. La génération sous contrainte sémantique peut être exponentielle, voire NP-complète, dépassant le parsing.
Pourquoi générer est plus simple qu’analyser ? Découvrez les formules de l’asymétrie génération-parsing : complexité, nombres de Catalan et surprisal.
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.
Explorez la carte des formalismes des langages formels. Comprenez comment syntaxe, sémantique et concurrence s’appliquent à BP3. Votre guide essentiel pour la série L.
Découvrez pourquoi MusicXML, malgré sa grammaire formelle XSD et sa position en Type 2 de Chomsky, n’a aucun pouvoir génératif musical. Un paradoxe à explorer !
MIDI, un langage formel ? Explorez sa place dans la hiérarchie de Chomsky, l’absence de spécification complète et ce que cela révèle sur la représentation musicale. Indispensable !
Plongez dans la hiérarchie de Chomsky ! Découvrez les 4 types de langages, du régulier au récursivement énumérable. Essentiel pour comprendre la conception des langages et outils.