Hirarki Chomsky

• Tipe 0 / Unrestricted : tidak ada batasan pada aturan produksi

Abc → De

• Tipe 1 / Context sensitive : panjang string ruas kiri harus < (lebih kecil) atau = (sama dengan) ruas kanan

Ab → DeF

CD → eF

• Tipe 2 / Context Free Grammar : ruas kiri haruslah tepat satu symbol variabel, yaitu simbol non terminal

B → CDeFg

D → BcDe

• Tipe 3 / Regular : ruas kanan hanya memiliki maksimal satu symbol non terminal dan diletakkan paling kanan sendiri

A → e

A → efg

A → efgH

C → D