KONVERSI DARI NFA KE DFA

Sebuah diagram NFA dapat dikonversi menjadi DFA dengan

membuat table transisi yang baru berdasarkan analisa dari
transisi pada NFA. Perhatikan contoh berikut ini.
Jika diberikan sebuah NFA seperti pada gambar diatas dengan
X1 sebagai state awal (Start state) dan X6 sebagai state akhir
(final state). Alphabet yang digunakan pada NFA tersebut
adalah {1,2} dan berikut ini adalah tabel transisi dari diagram
tersebut.
State 1 2
-> X1 {X2, X3} X5
X2 X3 {X3, X4}
X3 X6 X4
X4 X4 X6
X5 X5 {X5, X6}
*X6 – –

Biasanya pada tabel transisi untuk menandakan sebuah start

state diberikan dengan tanda panah, dan untuk final state
ditandakan dengan tanda *. Setelah kita mengetahui tabel
transisi dari NFA maka kita akan membuat tabel transisi dari
DFA tersebut.
Pada awalnya start state pada DFA akan sama dengan start state
di NFA, yaitu X1. Kita lihat bahwa transisi dari state X1 jika
diberikan input 1 maka akan menuju ke 2 states yang berbeda,
yaitu X2 dan X3. Sedangkan jika diberikan input 2 maka akan
menuju ke state X5 saja. Pada tahap awal tabel transisi dari DFA
akan menjadi seperti berikut ini.

State 1 2

-> X1 {X2, X3} X5

Kita tahu bahwa yang membuat DFA dan NFA berbeda adalah
arah transisi untuk input yang sama, dimana jika NFA maka
boleh memiliki lebih dari 1 transisi untuk input yang sama,
sedangkan DFA hanya boleh memiliki 1 transisi untuk input
yang sama. Pada kasus ini kita tahu bawah X1 bila diberi input 1
maka dapat menuju ke 2 arah, yaitu state X2 dan X3. Ketika di
DFA hal ini tidak diperbolehkan (mempunyai lebih dari 1 state
untuk transisi yang sama) sehingga kita akan menganggap {X2,
X3} sebagai sebuah state. Oleh karena itu langkah selanjutnya
adalah kita akan mencari transisi dari state {X2, X3}. Untuk
mencari transisi dari state baru kita tersebut (state gabungan dari
X2 dan X3) maka kita akan melihat transisi dari masing-masing
state. Jika melihat dari tabel transisi di NFA kita tahu bahwa X2
jika diberikan input 1 maka akan menuju X3 dan X3 jika
diberikan input 1 akan menuju state X6, sehingga hasil dari
transisi state {X2, X3} adalah gabungan dari transisi state X2
dengan X3 yaitu {X3, X6}. Cara yang sama juga dilakukan
untuk melihat hasil transisi dari state {X2,X3} jika diberikan
input 2. Jika X2 diberikan input 2 maka akan menuju state
{X3,X4} dan jika X3 diberikan input 2 maka akan menuju state
X4, sehingga state {X2,X3} jika diberikan input 2 akan menuju
state {X3, X4}. Berikut adalah transisi tabel dari pencarian
transisi state {X2, X3}.
State 1 2
-> X1 {X2, X3} X5

{X2, X3} {X3, X6} {X3, X4}

Setelah mencari transisi untuk state {X2,X3} berikutnya adalah
mencari transisi dari X5 (hasil dari transisi X1 jika diberikan
input 2). Karena state X5 adalah 1 state sendiri di NFA juga
maka hasil transisi dari X5 di DFA akan sama dengan transisi di
NFA.
State 1 2
-> X1 {X2, X3} X5
{X2, X3} {X3, X6} {X3, X4}
X5 X5 {X5, X6}

Jika kita lihat tabel transisi DFA saat ini sudah ada 3 state yang
kita cari transisinya yaitu X1, {X2,X3} dan {X5}. Kita lihat
bahwa state {X2,X3} jika diberikan input 1 maka akan menuju
ke state {X3, X6} dan seperti penjelasan sebelumnya bahwa di
DFA tidak diijinkan untuk memiliki transisi lebih dari 1 untuk
input yang sama, maka kita akan menganggap bahwa state {X3,
X6} adalah sebuah state (State baru lagi). Demikian juga untuk
state {X3, X4} merupakan sebuah state hasil dari transisi {X2,
X3} jika diberikan input 2. Langkah berikutnya kita akan
mencari transisi dari state {X3,X6} dan {X3,X4}.
Transisi X3 jika diberikan input 1 adalah X6 dan transisi X6 jika
diberikan input 1 tidak akan menuju state manapun sehingga
transisi dari state {X3, X6} untuk input 1 adalah X6 saja.
Transisi X3 jika diberikan input 2 adalah X4 dan transisi X6 jika
diberikan input 2 tidak akan menuju state manapun sehingga
transisi dari state {X3, X6} jika diberikan input 2 adalah X4
saja.
 State 1 2
-> X1 {X2, X3} X5
{X2, X3} {X3, X6} {X3, X4}
X5 X5 {X5, X6}
{X3, X6} X6 X4

Transisi X3 jika diberikan input 1 adalah X6 dan transisi X4 jika

diberikan input 1 adalah X4 sehingga transisi dari {X3,X4} jika
diberikan input 1 adalah {X6, X4}. Transisi X3 jika diberikan
input 2 adalah X4 dan transisi X4 jika diberikan input 2 adalah
X6 sehingga transisi dari {X3,X4} jika diberikan input 2 adalah
{X4, X6}.
State 1 2
-> X1 {X2, X3} X5
{X2, X3} {X3, X6} {X3, X4}
X5 X5 {X5, X6}
{X3, X6} X6 X4
{X3, X4} {X6, X4} {X4, X6}

Proses pencarian transisi akan terus berulang sampai seluruh

state sudah memiliki transisinya. Bisa dilihat pada tabel diatas
untuk saat ini kita sudah memiliki 5 buah transisi state namun
masih ada state yang belum ada transisinya ( yang ditandai
dengan highlight kuning). Maka langkah berikutnya adalah kita
masih perlu mencari transisi untuk state {X5, X6}, X6, X4, dan
{X4,X6}. State {X4, X6} adalah sama dengan state {X6, X4}
karena itu hanya penamaan saja yang terpenting adalah
himpunan statenya tetap sama.
Setelah pencarian semua state maka akan diperoleh tabel transisi
DFA sebagai berikut.
State 1 2
-> X1 {X2, X3} X5
{X2, X3} {X3, X6} {X3, X4}
X5 X5 {X5, X6}
{X3, X6} X6 X4
{X3, X4} {X6, X4} {X4, X6}
{X5, X6} X5 {X5, X6}
X6 – –
X4 X4 X6
{X4, X6} X4 X6

Final state pada DFA adalah state di DFA yang mengandung

final state di NFA. Pada contoh final state di NFA adalah X6,
sehingga semua state di DFA yang mengandung state X6
menjadi final state di DFA.
State 1 2
-> X1 {X2, X3} X5
{X2, X3} {X3, X6} {X3, X4}
X5 X5 {X5, X6}
*{X3, X6} X6 X4
{X3, X4} {X6, X4} {X4, X6}
*{X5, X6} X5 {X5, X6}
*X6 – –
X4 X4 X6
*{X4, X6} X4 X6