1.

Simbol terminal didalam T adalah symbol yang dapat

digunakan untuk membuat kalimat/string di dalam bahasa itu.
2. Simbol variabel / non terminal adalah simbol yang masih bisa
diturunkan dan ditandai dengan huruf besar seperti A, B, C.
3. Tata bahasa (grammar) bisa didefinisikan secara formal sebagai kumpulan dari himpunan-
himpunan variabel, simbol-simbol terminal, simbol awal, yang dibatasi oleh aturan-aturan
produksi.
4. Dalam hirarki chomsky, terdapat empat level bahasa yaitu level 0 (Natural Language), level 1
(Contex sensitive), level 2 (Bebas Konteks), dan level 3 (Regular)
5. Tipe 0 (Unrestricted)
Pada tipe 0 ini “simbol ruas sebelah kiri harus minimal ada sebuah simbol variabel dan tidak
ada batasan pada aturan produksi”. Tipe 0 menggunakan mesin automata dengan Mesin
Turing.