Tugas ke : III

Mata Kuliah : Teori Bahasa dan Automata

Reduksi Jumlah State FSA

Disusun Oleh :

WA ODE DWIKI BELLA AVISTA

( 182250 )

KELAS : F

SEKOLAH TINGGI MANAJEMEN INFORMATIKA DAN KOMPUTER

(STMIK) DIPANEGARA MAKASSAR
2020
 Kombinasi state yang mungkin :
( q0 , q1 ) ( q0 , q4 ) ( q1 , q2 ) ( q1 , q5 ) ( q2 , q4 )
( q0 , q2 ) ( q0 , q5 ) ( q1 , q3 ) ( q1 , q6 ) ( q2 , q5 )
( q0 , q3 ) ( q0 , q6 ) ( q1 , q4 ) ( q2 , q3 ) ( q2 , q6 )
( q3 , q4 ) ( q3 , q5 ) ( q3 , q6 ) ( q4 , q5 ) ( q4 , q6 )
( q5 , q6 )
 State yang berpapasan dengan state akhir (q6) merupakan state yang
distinguishable.
( q0 , q1 ) ( q1 , q2 ) ( q2 , q3 )
( q0 , q2 ) ( q1 , q3 ) ( q2 , q4 )
( q0 , q3 ) ( q1 , q4 ) ( q2 , q5 )
( q0 , q4 ) ( q1 , q5 ) ( q2 , q6 ) : distinguishable
( q0 , q5 ) ( q1 , q6 ) : distinguishable
( q0 , q6 ) : distinguishable

( q3 , q4 ) ( q4 , q5 ) ( q5 , q6 ) : distinguishable
( q3 , q5 ) ( q4 , q6 ) : distinguishable
( q3 , q6 ) : distinguishable
 Untuk pasangan state yang lain, jika masing-masing state mendapat input yang
sama, maka bila satu state mencapai state akhir dan yang lain tidak dapat
mencapai state akhir maka dinyatakan distinguishable.

Untuk ( q0 , q1 ) : Untuk ( q0 , q2 ) :
δ ( q0 , 1 ) = q2 δ ( q0 , 1 ) = q2
δ ( q1 , 1 ) = q6 δ ( q2 , 1 ) = q4

δ ( q0 , 0 ) = q1 δ ( q0 , 0 ) = q1
δ ( q1 , 0 ) = q3 δ ( q2 , 0 ) = q4
Maka ( q0 , q1 ) : distinguishable Maka ( q0 , q2 ) : indistinguishable

Untuk ( q0 , q3 ) : Untuk ( q0 , q4 ) :
δ ( q0 , 1 ) = q2 δ ( q0 , 1 ) = q2
δ ( q3 , 1 ) = q6 δ ( q4 , 1 ) = q4

δ ( q0 , 0 ) = q1 δ ( q0 , 0 ) = q1
δ ( q3 , 0 ) = q3 δ ( q4 , 0 ) = q5
Maka ( q0 , q3 ) : distinguishable Maka ( q0 , q4 ) : indistinguishable

Untuk ( q0 , q5 ) : Untuk ( q1 , q2 ) :
δ ( q0 , 1 ) = q2 δ ( q1 , 1 ) = q6
δ ( q5 , 1 ) = q5 δ ( q2 , 1 ) = q4

δ ( q0 , 0 ) = q1 δ ( q1 , 0 ) = q3
δ ( q5 , 0 ) = q5 δ ( q2 , 0 ) = q4
Maka ( q0 , q5 ) : indistinguishable Maka ( q1 , q2 ) : distinguishable

Untuk ( q1 , q3 ) : Untuk ( q1 , q4 ) :
δ ( q1 , 1 ) = q6 δ ( q1 , 1 ) = q6
δ ( q3 , 1 ) = q6 δ ( q4 , 1 ) = q4
δ ( q1 , 0 ) = q3 δ ( q1 , 0 ) = q3
δ ( q3 , 0 ) = q3 δ ( q4 , 0 ) = q5
Maka ( q1 , q3 ) : indistinguishable Maka ( q1 , q4 ) : distinguishable

Untuk ( q1 , q5 ) : Untuk ( q2 , q3 ) :
δ ( q1 , 1 ) = q6 δ ( q2 , 1 ) = q4
δ ( q5 , 1 ) = q5 δ ( q3 , 1 ) = q6

δ ( q1 , 0 ) = q3 δ ( q2 , 0 ) = q4
δ ( q5 , 0 ) = q5 δ ( q3 , 0 ) = q3
Maka ( q1 , q5 ) : distinguishable Maka ( q2 , q3 ) : distinguishable

Untuk ( q2 , q4 ) : Untuk ( q2 , q5 ) :
δ ( q2 , 1 ) = q4 δ ( q2 , 1 ) = q4
δ ( q4 , 1 ) = q4 δ ( q5 , 1 ) = q5

δ ( q2 , 0 ) = q4 δ ( q2 , 0 ) = q4
δ ( q4 , 0 ) = q5 δ ( q5 , 0 ) = q5
Maka ( q2 , q4 ) : indistinguishable Maka ( q2 , q5 ) : indistinguishable

Untuk ( q3 , q4 ) : Untuk ( q3 , q5 ) :
δ ( q3 , 1 ) = q6 δ ( q3 , 1 ) = q6
δ ( q4 , 1 ) = q4 δ ( q5 , 1 ) = q5

δ ( q3 , 0 ) = q3 δ ( q3 , 0 ) = q3
δ ( q4 , 0 ) = q5 δ ( q5 , 0 ) = q5
Maka ( q3 , q4 ) : distinguishable Maka ( q3 , q5 ) : distinguishable

Untuk ( q4 , q5 ) :
δ ( q4 , 1 ) = q4
δ ( q5 , 1 ) = q5
 δ ( q4 , 0 ) = q5
δ ( q5 , 0 ) = q5
Maka ( q4 , q5 ) : indistinguishable
 Maka didapatkan pasangan state sebagai berikut :
( q0 , q1 ) : distinguishable
( q0 , q2 ) : indistinguishable
( q0 , q3 ) : distinguishable
( q0 , q4 ) : indistinguishable
( q0 , q5 ) : indistinguishable
( q1 , q2 ) : distinguishable
( q1 , q3 ) : indistinguishable
( q1 , q4 ) : distinguishable
( q1 , q5 ) : distinguishable
( q2 , q3 ) : distinguishable
( q2 , q4 ) : indistinguishable
( q2 , q5 ) : indistinguishable
( q3 , q4 ) : distinguishable
( q3 , q5 ) : distinguishable
( q4 , q5 ) : indistinguishable
 Kelompokkan pasangan state indistinguishable :
( q0 , q2 ) : indistinguishable
( q0 , q4 ) : indistinguishable
( q0 , q5 ) : indistinguishable
( q1 , q3 ) : indistinguishable
( q2 , q4 ) : indistinguishable
( q2 , q5 ) : indistinguishable
( q4 , q5 ) : indistinguishable

0 q1 0 q3
q0, 2, 4, 5
0

0, 1 q6 1