Scribd
Unggah
171 tayangan16 halaman

Part 5-TBO

Dokumen ini membahas tentang konversi mesin otomata finite nondeterministik (NFA) menjadi mesin otomata finite deterministik (DFA) yang setara. Langkah-langkahnya adalah membuat tabel transisi dari NFA, membuat diagram transisi berdasarkan tabel, lalu menelusuri setiap state secara rekursif untuk menentukan state berikutnya. State dalam DFA adalah himpunan state NFA asal. Contoh lain membahas tentang NFA dengan trans

Diunggah oleh

Yoga Radja
Hak Cipta
© © All Rights Reserved
Kami menangani hak cipta konten dengan serius. Jika Anda merasa konten ini milik Anda, ajukan klaim di sini.
Format Tersedia
Unduh sebagai PPTX, PDF, TXT atau baca online di Scribd
171 tayangan16 halaman

Part 5-TBO

Dokumen ini membahas tentang konversi mesin otomata finite nondeterministik (NFA) menjadi mesin otomata finite deterministik (DFA) yang setara. Langkah-langkahnya adalah membuat tabel transisi dari NFA, membuat diagram transisi berdasarkan tabel, lalu menelusuri setiap state secara rekursif untuk menentukan state berikutnya. State dalam DFA adalah himpunan state NFA asal. Contoh lain membahas tentang NFA dengan trans

Diunggah oleh

Yoga Radja
Hak Cipta
© © All Rights Reserved
Kami menangani hak cipta konten dengan serius. Jika Anda merasa konten ini milik Anda, ajukan klaim di sini.
Format Tersedia
Unduh sebagai PPTX, PDF, TXT atau baca online di Scribd
Anda di halaman 1/ 16

Ekuivalensi NFA ke DFA

Pendahuluan
Dari sebuah mesin Non-Deterministic Finite Automata dapat dibuat mesin Deterministic
Finite Automata-nya yang ekuivalen (bersesuaian). Ekuivalen di sini artinya mampu
menerima bahasa yang sama.

Contoh NFA:

Langkah membuat DFA dari NFA adalah sebagai berikut:


1. Buat tabel transisi
2. Buat diagram transisi dari tabel transisi
a. Mulai dari state awal yaitu q0

*catatan: perhatikan, setiap state yang dituliskan adalah sebagai himpunan state
b. Telurusi tentang q0
Bila state q0 mendapat input 0 menjadi state {q0,q1)
Bila state q0 mendapat input 1 menjadi state {q1)

*perhatikan tabel transisi


c. Telurusi State q1
Bila state q1 mendapat input 0 maka menjadi state Ø
Bila state q1 mendapat input 1 maka menjadi state {q0, q1}
d. Telurusi state {q0,q1}
{q0,q1} merupakan gabungan dari state q0 dan q1 sehingga hasil state {q0,q1} merupakan gabungan
dari state q0 dan q1.

Bila q0 mendapat input 0 menjadi state {q0, q1}


Bila q1 mendapat input 0 menjadi state Ø
Sehingga jika state {q0, q1} mendapat input 0 menjadi state {q0, q1}

Bila q0 mendapat input 1 menjadi state {q1}


Bila q1 mendapat input 1 menjadi state {q0, q1}
Sehingga jika state {q0, q1} mendapat input 1 menjadi state {q0, q1}
Diagram Menjadi
e. Telurusi State Ø
Bila state Ø mendapat input 0 dan 1 maka tetap menghasilkan Ø
Sehingga diagram menjadi:
Cara lain dengan buat tabel transisi
δ 0 1

{} {} {}

{q0} {q0,q1} {q1}

{q1} {} {q0,q1}

{q0,q1} {q0,q1} {q0,q1}


State yang akan dibentuk:
{ }, {q0}, {q1}, {q0,q1}

State yang mengandung {q1} adalah state akhir


Latihan
Buatlah DFA dari NFA berikut:
Buatlah DFA dari NFA berikut:
NFA -Move
NFA є-Move merupakan jenis Otomata dengan є di sini bisa dianggap sebagai ’empty’.
Pada NFA є-Move diperbolehkan mengubah state tanpa membaca input. Disebut dengan transisi
є karena tidak bergantung pada suatu input ketika melakukan transisi.
Contoh

Penjelasan Gambar:
- Dari q0 tanpa membaca input dapat pindah ke q1
- Dari q1 tanpa membaca input dapat pindah ke q2
- Dari q4 tanpa membaca input dapat pindah ke q1
є-Closure untuk NFA dengan є-Move
є-Closure adalah himpunan state-state yang dapat dicapai dari suatu state tanpa
membaca input.

є-Closure (q0) = {q0,q1,q2}


є-Closure (q1) = {q1,q2}
є-Closure (q2) = {q2}
є-Closure (q3) = {q3}
є-Closure (q4) = {q4,q1}
Contoh lain

є-Closure (q0)={q0,q1,q3}
є-Closure (q1)={q1,q3)
є-Closure (q2)={q2,q4}
є-Closure (q3)={q3}
є-Closure (q4)={q4}

Perhatikan bahwa pada suatu state yang tidak memiliki transisi є , maka є – closure – nya
adalah state itu sendiri

Anda mungkin juga menyukai