Bezkontextová gramatika: Porovnání verzí

kde a, b označuje terminály, S je startovní symbol (neterminál). Tato gramatika generuje jazyk a^ⁿb^ⁿ, kde n<math>=n \geq 1</math>. Tento jazyk není [[Regulární jazyk|regulární]]. Speciální symbol ε označuje prázdný řetězec. Pokud změníme pravidlo na S → aSb | ε získáme gramatiku, která generuje jazyk a^ⁿb^ⁿ, kde n<math>=n \geq 0</math>. Tato přepisovací pravidlo obsahuje i přepis na prázdný řetězec, který původní gramatika neobsahuje.