Theory: Difference between revisions
| Line 37: | Line 37: | ||
* Type 0 of the [[Chomsky Hierarchy]], and a proper superset of CSLs | * Type 0 of the [[Chomsky Hierarchy]], and a proper superset of CSLs | ||
* Rewrite rule: α→β, where {α, β} are strings of terminals and non-terminals | * Rewrite rule: α→β, where {α, β} are strings of terminals and non-terminals | ||
* Recognized | * Recognized <i>but not decided</i> by [[Turing Machines]] (ie, any 'yes' answer can be verified, but 'no' cases might not halt) | ||
[[Category: CS GRE Prep]] | [[Category: CS GRE Prep]] | ||