Chomsky Hierarchy
Print this page
First   |   Last   |   Prev   |   Next
The language generated by a Type-i grammar is called a Type-i language, i = 0,1,2,3. A Type-i language is also called a context-sensitive language (CSL). We have already observed that a Type-2 language is also called a Context-Free Language (CFL) and a Type-3 language is also called a regular language. Each class of language in the Chomsky hierarchy is characterized as the language generated by a type of automata. These relationships have been summarised in the folowing table for convenience.

 

Grammars
Languages
Automata
Type-0 , phrase-struct , semi-true,
unrestricted grammars
Recursively enumerable
language
Turing Machine
Type-0 , phrase-struct , semi-true,
unrestricted grammars
Context-sensitive
language
Linear-bounded automata
Type-2, context-free grammars
Context-free language
Pushdown Automata
Type-3, regular, right-linear,
left-linear grammar
Regular Language
Finite Automata
First   |   Last   |   Prev   |   Next