📖 Formal grammar
= collection of syntax definitions in a 📕 Formal Language that define valid words or phrases
Classification
Units
Types
How to check?
Relationships
Two grammars are…
- Weakly equivalent: generate same strings
- Strongly equivalent: generate the same strings and structures (= parse tree)