Your SlideShare is downloading. ×
  • Like
Teori bahasa dan automata2
Upcoming SlideShare
Loading in...5
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

×

Now you can save presentations on your phone or tablet

Available for both IPhone and Android

Text the download link to your phone

Standard text messaging rates apply

Teori bahasa dan automata2

  • 1,391 views
Published

 

  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Be the first to comment
    Be the first to like this
No Downloads

Views

Total Views
1,391
On SlideShare
0
From Embeds
0
Number of Embeds
0

Actions

Shares
Downloads
66
Comments
0
Likes
0

Embeds 0

No embeds

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
    No notes for slide

Transcript

  • 1. TEORI BAHASA DAN AUTOMATA Chapter 2 FINITE AUTOMATA (DETERMINISTIC FINITE AUTOMATA)
  • 2. Definisi Dasar Finite Automata
    • Merupakan model dimana setiap saat berada dalam suatu status di antara sejumlah terbatas status-status diskretnya, serta akan berpindah dari satu status ke status lain dengan cara yang dapat diprediksi sebagai respon terhadap setiap simbol masukan tunggal
  • 3. Finite Automata
    • Dapat digunakan untuk mengenal bahasa-bahasa regular
    • Keterbatasan : tidak memiliki memori kecuali pada mesin bisa didefinisikan sejumlah status dari mesin dengan jumlah berhingga
  • 4. 5 Tuple - Finite Automata
    • 5 tuple (Q, Σ , δ , q 0 , F) :
    • Q : himpunan terhingga dari status
    • Σ : himpunan berhingga alfabet dari simbol masukan
    • δ : fungsi transisi yang memetakan Q x Σ ke Q
    • q 0 : pada Q status inisial (awal)
    • F : pada Q status final (akhir)
  • 5. Jenis Finite Automata (Otomata Hingga)
    • Ada dua jenis automata hingga : deterministik (DFA = deterministic finite automata ) dan non deterministik (NFA = non deterministik finite automata ).
    • DFA : transisi stata finite automata akibat pembacaan sebuah simbol bersifat tertentu.
    • δ (DFA) : Q  Σ  Q
    • NFA : transisi stata finite automata akibat pembacaan sebuah simbol bersifat tak tentu.
    • δ (NFA) : Q  Σ  2 Q
  • 6. Deterministic Finite Automata (Otomata Hingga Deterministik)
    • Berikut ini sebuah contoh DFA F (Q, Σ , δ , q 0 , F) , dimana :
    • Q = {q0, q1, q2}
    • δ diberikan dalam tabel berikut :
    q2 q2 q2 q2 q0 q1 F = {q0, q1} q1 q0 q0 q 0 = q0 b a Σ = {a, b}
  • 7. Deterministic Finite Automata (Otomata Hingga Deterministik)
    • Ilustrasi graf untuk DFA F adalah sebagai berikut :
    • Lambang stata awal adalah node dengan anak
    • panah
    • Lambang stata akhir adalah node ganda
    a b a q0 q1 q2 b a b
  • 8. Deterministic Finite Automata (Otomata Hingga Deterministik)
    • Contoh kalimat yang diterima DFA : a, b, aa, ab, ba, aba, bab, abab, baba
    • Contoh kalimat yang tidak diterima DFA : bb, abb, abba
    • DFA ini menerima semua kalimat yang tersusun dari simbol a dan b yang tidak mengandung substring bb.
    • Contoh :
    • Telusurilah, apakah kalimat2 berikut diterima DFA :
    • abababaa, aaaabab, aaabbaba
  • 9. Deterministic Finite Automata (Otomata Hingga Deterministik)
    • Jawab :
    • M(q0,abababaa)  M(q0,bababaa)  M(q1,ababaa)  M(q0,babaa)  M(q1,abaa)  M(q0,baa)  M(q1,aa)  M(q0,a)  q0
    • Tracing berakhir di q0 (stata penerima)  kalimat abababaa diterima
    • M(q0, aaaabab)  M(q0,aaabab)  M(q0,aabab)  M(q0,abab)
    •  M(q0,bab)  M(q1,ab)  M(q0,b)  q1
    • Tracing berakhir di q1 (stata penerima)  kalimat aaaababa diterima
    • M(q0, aaabbaba)  M(q0, aabbaba)  M(q0, abbaba)  M(q0,bbaba)  M(q1,bbaba)  M(q2,baba)  M(q2,aba)  M(q2,ba)  M(q2,a)  q2
    • Tracing berakhir di q2 (bukan stata penerima)  kalimat aaabbaba ditolak
    • Kesimpulan : sebuah kalimat diterima oleh DFA jika tracingnya berakhir di salah satu stata penerima.
  • 10. Contoh lain 1 0 0 1 q0 q2 q1 0,1
  • 11. Contoh lain
    • DFA F (Q, Σ , δ , q0, F) , dimana :
    • Q = {q0, q1, q2}
    • δ diberikan dalam tabel berikut :
    q1 q2 q2 q1 q1 * q1 F = {q1} q0 q2 -> q0 q 0 = q0 1 0 Σ = {0, 1}