In type 0 {General Grammar}, rules start with variables and productions can be unbounded and context-sensitive. General Grammars are recursively enumerable. General Grammars are equivalent to Turing Machines.
Social Sciences>Linguistics>Grammar>Kinds>Quantitative>Formal
6-Linguistics-Grammar-Kinds-Quantitative-Formal
Outline of Knowledge Database Home Page
Description of Outline of Knowledge Database
Date Modified: 2022.0224