M4) Generative Grammars and Music

Discover how generative grammars, from Chomsky to GTTM and BP3, have revealed the hidden rules of music. Understand how our brain structures sounds.

M3) The Paradigms of Musical Representation

Explore the six paradigms of musical representation, from wave to meaning. Discover how these abstraction levels stack and why certain tools are more powerful.

L12) Petri Nets and Process Algebras

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!