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.
L11) Beyond the Three Semantics
Classical semantics have limits. Explore advanced semantics: translational, process, and algebraic. Understand compilers, concurrent systems, and data types.
L10) Attribute Grammars
Knuth’s attribute grammars enrich syntax trees with computable properties. Explore synthesized and inherited attributes, and their link to BP3 flags.
L4) What is an AST?
Dive into compilers! Discover what an AST (Abstract Syntax Tree) is, how it simplifies your code, and its key role in compilation. Essential for developers.
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!