According to Chomsky hierarchy, grammars are divided of 4 types:

Type 0 known as unrestricted grammar. Type 1 known as context sensitive grammar. Type 2 known as context free grammar. Type 3 Regular Grammar.

**Type 0: Unrestricted Grammar: **

In Type 0

Type-0 grammars include all formal grammars. Type 0 grammar language are recognized by turing machine. These languages are also known as the Recursively Enumerable languages.

Grammar Production in the form of

where

is ( V + T)* V ( V + T)*

V : Variables

T : Terminals.

is ( V + T )*.

In type 0 there must be at least one variable on Left side of production.

For example,

Sab –> ba

A –> S.

Here, Variables are S, A and Terminals a, b.

**Type 1: Context Sensitive Grammar)**

Type-1 grammars generate the context-sensitive languages. The language generated by the grammar are recognized by the Linear Bound Automata

In Type 1

I. First of all Type 1 grammar should be Type 0.

II. Grammar Production in the form of

|| <= ||

i.e count of symbol in is less than or equal to

For Example,

S –> AB

AB –> abc

B –> b

**Type 2: Context Free Grammar:**

Type-2 grammars generate the context-free languages. The language generated by the grammar is recognized by a Pushdown automata. Type-2 grammars generate the context-free languages.

In Type 2,

1. First of all it should be Type 1.

2. Left hand side of production can have only one variable.

|| = 1.

Their is no restriction on .

For example,

S –> AB

A –> a

B –> b

**Type 3: Regular Grammar:**

Type-3 grammars generate regular languages. These languages are exactly all languages that can be accepted by a finite state automaton.

Type 3 is most restricted form of grammar.

Type 3 should be in the given form only :

**V –> VT* / T*.
(or)
V –> T*V /T***

for example :

S –> ab.

**REFERENCES**

https://en.wikipedia.org/wiki/Chomsky_hierarchy

Please write comments if you find anything incorrect, or you want to share more information about the topic discussed above

Attention reader! Don’t stop learning now. Get hold of all the important CS Theory concepts for SDE interviews with the CS Theory Course at a student-friendly price and become industry ready.

## Recommended Posts:

- Last Minute Notes - Theory of Computation
- Pumping Lemma in Theory of Computation
- Introduction of Theory of Computation
- Decidable and Undecidable problems in Theory of Computation
- Relationship between grammar and language in Theory of Computation
- Arden's Theorem in Theory of Computation
- Halting Problem in Theory of Computation
- Decidability Table in Theory of Computation
- Converting Context Free Grammar to Chomsky Normal Form
- DFA of Regular Language L ={w ∈ {a,b}* : Na(w) mod 3 > Nb(w) mod 3}
- Construct Turing Machine for incrementing Binary Number by 1
- Construct Turing Machine for L = {a^i b^j | i<j, i>0}
- Moore Machines implementation in C++
- Restricted Turing Machines