FINITE STATE AUTOMATA

(PART 2)
TEORI KOMPUTASI
WEEK 4

Sri Wahyu, S.Pd., M.Si.

JENIS FSA

Sri Wahyu, S.Pd., M.Si.

CONTOH

Sri Wahyu, S.Pd., M.Si.

EKIVALENSI NFA KE DFA

Sri Wahyu, S.Pd., M.Si.

TAHAPAN EKIVALENSI

Sri Wahyu, S.Pd., M.Si.

CONTOH EKIVALENSI NFA KE DFA

Sri Wahyu, S.Pd., M.Si.

 Step 1

Read:
- q0 dengan transisi a, ia menuju ke q0 dan q1, shg kolom baris q0 dg transisi a berisi {q0,q1}
/menuju dirinya sendiri dan q1
- q0 dengan transisi b, ia menuju ke q1 saja, sehingga kolom baris q0 dg transisi b berisi {q1}
- q1 karena tidak ada transisi dari state yang lainnya maka baris q1 dengan transisi a maupun b akan berisi
kosong karena tidak ada yang keluar dari q1.

Sri Wahyu, S.Pd., M.Si.

 Step 2-4

Kita perlu melengkapi state yang ada, dengan berpedoman pada table, yaitu:
{q0,q1} itu akan menuju ke dirinya sendiri, yaitu dengan transisi a. Mengapa? Karena kita akan membuat sebuah
perbandingan dari q0 dan q1 : q0 dengan transisi a menuju ke {q0,q1} sedangkan q1 dengan transisi a menuju ke ∅, sehingga
yang menjadi acuan adalah [q0, q1}, begitupula halnya untuk transisi b.

Sri Wahyu, S.Pd., M.Si.

Step 5

Sri Wahyu, S.Pd., M.Si.

Step 6

Pilih state yang mengandung symbol q1 yang merupakan final state NFA sebelumnya,
sehingga {q1} dan {q0,q1} adalah final state untuk yang baru dan merupakan hasil akhirnya.

Sri Wahyu, S.Pd., M.Si.

 PEMBUKTIAN

1. Re-name label dari setiap statenya

2. Buat tabel transisi dari DFA yang dihasilkan

Sri Wahyu, S.Pd., M.Si.

TUGAS

Buatlah DFA dari NFA berikut beserta pembuktian:

𝑄 = 𝑞0, 𝑞1, 𝑞2
Σ = 0,1
𝑆 = 𝑞0
𝐹 = 𝑞1
Fungsi transisi (𝛿)
𝛿 𝑞0, 0 = {𝑞1, 𝑞2}
𝛿 𝑞0, 1 = {𝑞2}
𝛿 𝑞1, 0 = {𝑞1}
𝛿 𝑞1, 1 = {𝑞2}
𝛿 𝑞2, 0 = 𝜙
𝛿 𝑞2, 1 = {𝑞0, 𝑞2}

Sri Wahyu, S.Pd., M.Si.

TERIMAKASIH

Sri Wahyu, S.Pd., M.Si.