FSA secara umum ada dua jenis yaitu 1

  • Slides: 31
Download presentation

 • FSA secara umum ada dua jenis yaitu 1. Deterministic Finite Automata (DFA)

• FSA secara umum ada dua jenis yaitu 1. Deterministic Finite Automata (DFA) 2. Non Determinisric Finite Automata (NFA) atau NDFA • Komputer menggunakan yang DFA

 • Ciri DFA 1. Jika misalkan ={a, b}, maka SETIAP state mempunyai satu

• Ciri DFA 1. Jika misalkan ={a, b}, maka SETIAP state mempunyai satu input a dan satu input b 2. Dalam Tabel Transisi state Tujuan tidak ditulis dalam bentuk Himpunan

1. Jika misalkan ={a, b}, maka SETIAP state mempunyai satu input a dan satu

1. Jika misalkan ={a, b}, maka SETIAP state mempunyai satu input a dan satu input b a a S b A a b A b

2. Dalam Tabel Transisi state Tujuan tidak ditulis dalam bentuk himpunan S A B

2. Dalam Tabel Transisi state Tujuan tidak ditulis dalam bentuk himpunan S A B a A B A b S B B Bukan dalam bentuk himpunan

 • Contoh 1 b S a b A a a b B

• Contoh 1 b S a b A a a b B

 • Contoh 2 S A B C a B C S A b

• Contoh 2 S A B C a B C S A b A S C B

 • Contoh 3 Q = {S, A, B, C, D} = {0, 1}

• Contoh 3 Q = {S, A, B, C, D} = {0, 1} (S, 0)=S, (A, 0)=S, (B, 0)=B, (C, 0)=D, (D, 0)=A (S, 1)=A, (A, 1)=C, (B, 1)=D, (C, 1)=B, (D, 1)=B S= S F = {B, C}

 • Ciri NFA 1. Jika misalkan ={a, b}, maka SETIAP state mempunyai input

• Ciri NFA 1. Jika misalkan ={a, b}, maka SETIAP state mempunyai input a dan input b yang jumlahnya bebas 2. Dalam Tabel Transisi state Tujuan ditulis dalam bentuk Himpunan

1. Jika misalkan ={a, b}, maka SETIAP state mempunyai input a dan input b

1. Jika misalkan ={a, b}, maka SETIAP state mempunyai input a dan input b yang jumlahnya bebas a S b A a a A a b

2. Dalam Tabel Transisi state Tujuan ditulis dalam bentuk himpunan S A B a

2. Dalam Tabel Transisi state Tujuan ditulis dalam bentuk himpunan S A B a {A} {A, B} {A} b {S} {} {B, B} dalam bentuk himpunan

 • Contoh 1 S a b A a b b a B

• Contoh 1 S a b A a b b a B

 • Contoh 2 S A B C a {B} {B, C} {} {A}

• Contoh 2 S A B C a {B} {B, C} {} {A} b {A, B} {S} {C, C} {}

 • Contoh 1 S=S F = {B} S A B a {B} {}

• Contoh 1 S=S F = {B} S A B a {B} {} {S} b {A} {B} {A, B} Tentukan Graph Transisinya Tentukan Kelima Komponennya

 • Contoh 2 S=S F = {C, D} S A B C D

• Contoh 2 S=S F = {C, D} S A B C D 0 {S, C} {} {B} {D} 1 {S, A} {B} {} {D} Tentukan Graph Transisinya Tentukan Kelima Komponennya

 • Contoh 3 A a b S a b C b b a

• Contoh 3 A a b S a b C b b a a B

 • Di dunia nyata ada suatu sistem yang mengikuti mesin DFA ada juga

• Di dunia nyata ada suatu sistem yang mengikuti mesin DFA ada juga NFA • Tetapi Komputer hanya dapat menerima sistem DFA • Bagaimana solusinya ?

 • Solusinya adalah merubah suatu NFA menjadi DFA yang ekivalen • Ekivalen artinya

• Solusinya adalah merubah suatu NFA menjadi DFA yang ekivalen • Ekivalen artinya mempunyai kemampuan yang sama

 • Cara merubah NFA ke DFA 1. Jika belum dibuat Tabel Transisi, maka

• Cara merubah NFA ke DFA 1. Jika belum dibuat Tabel Transisi, maka buatlah Tabel Transisinya 2. Berpedoman pada Tabel Transisi, ubahlah setiap state agar memenuhi syarat DFA dimulai state awal 3. State Akhir baru yg mengandung state akhir lama

 • Contoh 1 0 A 1 1 0 1 B Tentukan DFA yang

• Contoh 1 0 A 1 1 0 1 B Tentukan DFA yang ekivalen

 • Dari Graph Transisi tersebut dibuat Tabel Transisi A B • State awal

• Dari Graph Transisi tersebut dibuat Tabel Transisi A B • State awal A • State akhir B 0 {A, B} {} 1 {B} {A, B}

 • Hasil DFA yg ekivalen adalah : 1 {A} {B} 1 0 {A,

• Hasil DFA yg ekivalen adalah : 1 {A} {B} 1 0 {A, B} 1 0 { } 0

 • Soal 1: 0 A 1 0 B 0 1 Tentukan DFA yang

• Soal 1: 0 A 1 0 B 0 1 Tentukan DFA yang ekivalen C

 • Soal 2 q 0 = A F ={D} A B C D

• Soal 2 q 0 = A F ={D} A B C D 0 {A, B} {C} {D} Tentukan DFA yang ekivalen 1 {A} {C} { } {D}

 • Soal 3 Diketahui Kelima Komponen NFA Q = {A, B, C}, =

• Soal 3 Diketahui Kelima Komponen NFA Q = {A, B, C}, = {0, 1} (A, 0)={A}, (A, 1)={C}, (B, 0)={B} (C, 0)={A, B}, (C, 1)={B} S= A, F ={C} Tentukan DFA yang ekivalen

 • Soal 4 Diketahui Kelima Komponen NFA Q = {A, B, C}, =

• Soal 4 Diketahui Kelima Komponen NFA Q = {A, B, C}, = {0, 1} (A, 0)={B, C}, (A, 1)={C}, (B, 0)={B} (B, 1)={C}, (C, 0)={ }, (C, 1)={A, C} S = A, F ={B} Tentukan DFA yang ekivalen

 • Soal 5: A 0 0 0 B 1 1 1 C Tentukan

• Soal 5: A 0 0 0 B 1 1 1 C Tentukan DFA yang ekivalen 0