Index Grammars, Music and Formal Languages This article series explores unusual territory: where formal language theory meets algorithmic music. The common thread is BP2SC, a transpiler that converts musical grammars from Bol Processor into SuperCollider patterns. Each article is designed to be accessible without academic prerequisites, yet rigorous enough to serve as a reference. The […]
Glossary of Formal Languages & Compilation
Comprehensive glossary of terms in language theory, compilation, and formal semantics. Clear definitions with links to explanatory articles.
L17) The Complexity Matrix
Discover the complexity matrix, revealing the differential coupling between generation and parsing. Understand why their asymmetry isn’t just O(n) vs O(n³).
L14) The Direction of Parsing
Generation is always top-down. But parsing (LL, LR) has unique directional freedom. Discover this fundamental asymmetry, essential for compilers.
L1) Chomsky Hierarchy Explained Simply
Dive into Chomsky’s hierarchy! Discover the 4 types of languages, from regular to recursively enumerable. Essential for understanding language and tool design.
L0) The Map of Formalisms
Explore the map of formal language formalisms. Understand how syntax, semantics, and concurrency apply to BP3. Your essential guide for the L series.
M2) MusicXML Under the Formal Microscope
Discover why MusicXML, despite its formal XSD grammar and its Chomsky Type 2 position, has no musical generative power. A paradox to explore!
M1) MIDI under the Formal Microscope
Is MIDI a formal language? Explore its place in Chomsky’s hierarchy, the lack of complete specification, and its insights into musical representation. Essential!
L2) Context-Free Grammars
Dive deep into Context-Free Grammars (CFG) and grasp how compilers and parsers interpret the syntax of programming languages. A must-read for every developer!