Finite State Automata untuk Suatu Tata Bahasa Regular.
Bila sebelumnya dari suatu diagram transisi finite state automata kita bisa membuat aturan-aturan produksinya.
Misalkan terdapat tata bahasa regular dengan aturan produksi:
S → aB| bA |ε
A → abaS
B → babS

Bisa anda lihat hasilnya pada gambar 4. S akan berkorelasi dengan q0, A dengan q4, dan B dengan q1. Sementara S → ε menandakan q0 termasuk state akhir.
Contoh lain akan dibuat diagram transisi untuk tata bahasa regular:
S → abA | B |baB|ε
A → bS | b
B → aS
Hasilnya bisa kita lihat pada gambar 5. Kita lihat S akan berkorelasi dengan q0, A dengan q2, B dengan q4. Sementara S → ε menandakan qo state akhir. Dari S → B, maka kita bisa buat transisi ε dari q0 ke q4. Dari A→ kita tentukan state q3 termasuk state akhir.
