Discover how Petri nets and process algebras (CCS, CSP) model concurrency and musical polymetry. An essential guide for formalizing music.
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!
I5) MusicXML
Discover MusicXML, the standard format for exchanging digital scores. Learn how it encodes notes, measures, and key signatures for software interoperability.
I4) Introduction to MIDI
Dive into the MIDI protocol: understand its principles, strengths, and limitations. Discover why this 40-year-old standard is the cornerstone of digital music.
L10) Attribute Grammars
Knuth’s attribute grammars enrich syntax trees with computable properties. Explore synthesized and inherited attributes, and their link to BP3 flags.
L9) Beyond Chomsky
Beyond Chomsky, explore mildly context-sensitive languages. Discover TAG, CCG, and their crucial importance for natural language and music. An essential article!
L8) Axiomatic Semantics
Axiomatic semantics uses pre/postconditions to prove program correctness. Discover Hoare triples, loop invariants, and practical applications.
L7) Denotational Semantics
Denotational semantics interprets programs as mathematical functions. Discover this powerful approach to analyze, prove, and optimize your code’s behavior.