Teori otomata

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