MEMBUAT MESIN ABSTRAK FSA & GRAMMAR PADA TEORI BAHASA DAN OTOMATA

 Assalamu'alaikum Warahmatullahi Wabarakaatuh

Hallooo guysss... kali ini saya akan membuat blog tentang mesin abstrak FSA & Grammar pada Teori Bahasa dan Otomata, seperti dibawah ini  :

1. Pengertian FSA

        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.
Finite State Automata (FSA) adalah model matematika yang dapat menerima input dan mengeluarkan output yang memiliki state yang berhingga banyaknya dan dapat berpindah dari satu state ke state lainnya berdasarkan input dan fungsi transisi. Finite state automata tidak memiliki tempat penyimpanan/memory, hanya bisa mengingat state terkini.

Finite State Automata dinyatakan oleh pasangan 5 tuple, yaitu:
M=(Q , Σ , δ , S , F )
Q = himpunan state
Σ = himpunan simbol input
δ = fungsi transisi δ : Q × Σ
S = state awal / initial state , S ∈ Q
F = state akhir, F ⊆ Q

Karakteristik Finite Automata

1.Setiap Finite Automata memiliki keadaan dan transisi yang terbatas.
2.Transisi dari satu keadaan ke keadaan lainnya dapat bersifat deterministik atau non-deterministik.
3.Setiap Finite Automata selalu memiliki keadaan awal.
4.Finite Automata dapat memiliki lebih dari satu keadaan akhir.
   
Mesin Abstrak FSA

Diagram :




















Deskripsi format penulisan M ({Q,∑,δ,S,F}) :
  1. Q = (q0,q1,q2,q3,q4,q5) 
  2. ∑ = (0,1)
  3. δ = is describeed as                                          
     
  4. S = q0 is the start state
  5. F = q  
Uji Input :














2. Pengertian Grammar

           Grammar adalah bentuk abstrak yang dapat diterima (accept) untuk membangkitkan suatu kalimat otomata berdasarkan suatu aturan tertentu.

 Mesin Abstrak Grammar

 Tata bahasa grammar di definisikan dengan 4 Tupel, G = ({V, T, P, S}) dimana :

 V = Himpunan simbol variable / non terminal
 T = Himpunan simbol terminal
 P = Kumpulan aturan produksi
 S = Simbol awal

Jadi q2 = ( S ) lewat jalur b menuju, q4 =( E ) ditulis S => bE

Secara formal dapat ditulis :

V = { S, E, A, B, C}
T = { a, b }
P = { S => bE, E => A | B, E => aA | b, E => bB, A => b | C => a }
S =  S ( Simbol awal )


SEKIAN DAN TERIMAKASIH


Komentar

Posting Komentar