Grammar adalah bentuk abstrak yang dapat diterima (accept) unttuk membangkitkan suatu kalimat otomata berdasarkan suatu aturan tertentu. Grammar(G) didefinisikan sebagai pasangan 4 tuple (V,T,S,P) V : Himpunan simbol simbol non terminal) (Variabel) T : Himpunan simbol simbol terminal S : Simbol awal (start) P : Himpunan Produksi Cotoh mesin 1. Buat himpunan produksinya terlebih dahulu 2. Maka akan menjadi Mesin Abstrak seperti di bawah ini 3. Definisi 4 tuple dari mesin tersebut V : {A.B.C.D.E} T : {p,q,r,s,t} S : {A} P :{A→pB, A→qC, B→rC, B→sD, C→tB, C→rE, D→sA, D→qE, D→λ ,E→λ} Semoga Bermanfaat :)