Teori Bahasa & Automata Mesin FSA dan Mesin Moore

Finite State Automata dan Grammar Automata dari Satu Mesin Abstrak

automata adalah mesin abstrak yang dapat mengenali (recognize), menerima

(accept), atau membangkitkan (generate) sebuah kalimat dalam bahasa tertentu.

Automata berasal dari bahasa Yunani automatos, yang berarti sesuatu yang bekerja

secara otomatis (mesin). 

Langkah Langkah Membuat Mesin Abstrak
Berhubung kita akan membuat mesin abstrak menggunakan JFLAP maka pastikan Anda sudah menginstall aplikasi Java dan JFLAP, karena keduanya berkesinambungan.

1. Buka aplikasi JFLAP yang sudah terinstall, kemudian pilih grammar.  

2. Inputkan himpunan produksinya

3. Jika sudah, pada tool Convert pilih Convert Right Linier Grammar to FA. Kemudian klik Show All, maka akan muncul tampilan mesin Abstrak yang sudah dibuat.

FINITE STATE AUTOMATA
Finite state automata adalah mesin abstrak berupa sistem model matematika dengan masukan dan keluaran diskrit yang dapat mengenali bahasa paling sederhana (bahasa reguler) dan dapat diimplementasikan secara nyata.

Secara Formal FSA dinyatakan dengan 5 tuple atau M = (Q, ∑, δ, S,F) dimana :

• Q adalah himpunan state
• ∑ adalah himpunan input
• δ adalah transition Function
• S adalah State awal /initial state
• F adalah State akhir

Definisi 5 tuple dari mesin abstrak

• Q = {q0,q1,q2,q3,q4, q5,q6}
• ∑ = {a,b,c,d,e,f λ }
• δ =

Uji input

Penjelasan : Perhatikan arah panah pada mesin abstrak.Jika semua simbol yang kita input berhenti di Final State maka “Accepted/Diterima”, sebaliknya jika berhenti di State yang bukan merupakan  Final State maka “Reject/Ditolak”.
NB : Untuk lamda (λ) tidak usah dicantumkan di uji input.

• vwz artinya dari State q0 melalui terminal v ke state q1, kemudian dari state q1 melalui terminal w ke state q2, lalu dari state q2 melalui terminal z ke state q4. Kemudian dari state q4 melalui q5 terminal λ ke state akhir yaitu q6. Maka status “ACCEPTED”.

Begitupun seterusnya untuk uji input yang lain.