Jabarkan P	: himpunan produksi dari Teori otomata

1. G1: VT = {I, want, need, You}, V = {S,A,B,C},

P = {S --> ABC, A--> I, B--> want | need, C--> You}

2. . G2: VT = {a}, V = {S}, P = {S  aS | a}

--> aaa                    L(G2) ={an --> n ≥ 1}

Otomata adalah sebuah 5-tupel :

adalah himpunan berhingga dari state,

Otomata berhingga deterministik (DFA - Deterministic Finite Automata) adalah sebuah otomata yang fungsi transisinya adalah:

Konfigurasi DFA disamping secara formal dinyatakan sebagai berikut Q = {q0, q1, q2, q3 } Σ = {0,1} S = q0 F = { q0} Fungsi transisi, biasanya fungsi-fungsi transisi ini kita sajikan dalam sebuah tabel transisi. Tabel transisi tersebut menunjukkan state state berikutnya untuk kombinasi state state dan input. Tabel transisi dari fungsi transisi adalah