๐ 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)