Context Free Grammar §

= 📖 Formal grammar, accepted by 📚 Pushdown automata

Formal definition §

• V: vocabulary:
  • N: set of non-terminal symbols
  • T: set of terminal symbols
• P: set of grammar production rules
  • $p\in P:X_0\to X_1...$
• S: the starting symbol