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 :)