Codex Wiki OurBigBook logoOurBigBook.comSite Source code

Grammar derivation

A grammar derivation is a finite sequence of words in which each step replaces one occurrence of a production's left side by its right side. A leftmost derivation always replaces the leftmost available nonterminal.

Ancestors (7)

  1. Context-free grammar
  2. Context-free language
  3. Formal language theory
  4. Foundations of mathematics
  5. Area of mathematics
  6. Mathematics
  7. Home

Incoming links (3)