Theory: Difference between revisions

Line 9: Line 9:
** |''y''| ≥ 1, and
** |''y''| ≥ 1, and
** ''xy<sup>i</sup>z'' ∈ '''L''' for all ''i'' ≥ 0
** ''xy<sup>i</sup>z'' ∈ '''L''' for all ''i'' ≥ 0
* Nondeterminism (NFAs) adds no power to finite state automata (DFAs).


===Context-Free Languages (CFLs) / Grammars (CFGs)===
===Context-Free Languages (CFLs) / Grammars (CFGs)===