Regular Grammars

Grammar termasuk dari teori bahasa dan otomata.Teori Automata berkaitan dengan definisi dan properti dari model-model matematika komputasi , teori Otomata adalah teori mengenai mesin-mesin abstrak, dan berkaitan erat dengan teori bahasa formal.

Grammar  adalah tata bahasa yang mempunyai tujuan sama seperti halnya tata bahasa regular yaitu merupakan suatu cara untuk menunjukkan bagaimana menghasilkan suatu untai-untai dalam sebuah bahasa

Regular Grammars dinyatakan oleh pasangan 4 tuple, yaitu:

        M= (V, T, S, P)

V = Variabel (menggunakan huruf kecil)

T = Terminal (menggunakan huruf besar)

S = Variabel Awal

P = Fungsi Transisi

Selanjutnya kita akan membuat Mesin Abstrak untuk Grammar di aplikasi JFLAP

1. Buka aplikasi JFLAP lalu pilih Grammar

2. Masukkan himpunan produksinya seperti gambar dibawah ini

3. Di menu Convert pilih Convert Right-Linear Grammar to FA

Sekarang kita akan melengkapi isian formal dari masing-masing tupelnya

V = { S, A, B, C, D}

T = {a, b}

S = S

P = { S→a A,  S→ b A,  S→ b B,  B→ a C,  A→ a B,  A→ b C , C→b D ,  C→ a ,  B→ b}

Kita juga bisa mengubahnya menjadi fungsi transisi Finite State Automata

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

Maka isian dari masing-masing tupelnya yaitu :

Q ={ q0,q1,q2,q3,q4,q5}

Σ = {a,b}

δ = fungsi transisi

S = {q2}

F = {q5}

Terima kasih telah mengunjungi blog ini semoga bermanfaat ;)