Jabarkan Grammar: dari Teori otomata

Grammar G didefinisikan sebagai pasangan 4 tuple: Vt, Vn, S, dan P, dan dituliskan sebagai G(Vt, Vn, S, P), dimana:

Vt 	: himpunan simbol-simbol terminal (alfabet) = kamus

Vn 	: himpunan simbol-simbol non terminal

S C V 	: simbol awal (atau simbol start)