910 likes | 1.2k Views
Pushdown Automata PDA. Pushdown Automaton -- PDA. String Masukan. Tumpukan. Keadaan. Simbol Tumpukan Awal. Tumpukan. Tumpukan. Kepala Tumpukan. atas. Simbol khusus penanda posisi dasar. Sudah ada saat waktu ke-0. The States. Simbol ‘pop’. Simbol Masukan. Simbol ‘push’. Masukan.
E N D
Pushdown Automaton -- PDA String Masukan Tumpukan Keadaan
Simbol Tumpukan Awal Tumpukan Tumpukan Kepala Tumpukan atas Simbol khusus penanda posisi dasar Sudah ada saat waktu ke-0
The States Simbol ‘pop’ Simbol Masukan Simbol ‘push’
Masukan Tumpukan atas Gantikan
Masukan Tumpukan atas Push
Masukan Tumpukan atas Pop
Masukan Tumpukan atas No Change
Tumpukan Kosong Masukan Tumpukan kosong Pop atas Keadaan HALTS Tidak ada transisi setelah
Transisi seperti ini dapat terjadi: Masukan Tumpukan Pop atas
Non-Deterministik PDA adalah non-deterministik
Contoh PDA PDA
Ide pokok: 2. Cocokkan ‘b’ sbg input dg ‘a’ dlm tumpukan 1. Push ‘a’ ke dalam tumpukan 3. Cocok!
Contoh Eksekusi: Waktu ke-0 Masukan Tumpukan Keadaan saat ini
Waktu ke-1 Masukan Tumpukan
Waktu ke-2 Masukan Tumpukan
Waktu ke-3 Masukan Tumpukan
Waktu ke-4 Masukan Tumpukan
Waktu ke-5 Masukan Tumpukan
Waktu ke-6 Masukan Tumpukan
Waktu ke-7 Masukan Tumpukan
Waktu ke-8 Masukan Tumpukan diterima
Suatu string diterimajika: Semua Masukan selesai dieksekusi DAN Keadaan terakhir merupakan keadaan yang diterima Pada keadaan akhir, isi tumpukan tidak diperdulikan (isi tumpukan dapat kosong)
String Masukan dapat diterima oleh PDA:
Secara umum, Merupakan BAHASA yang diterima oleh PDA:
Waktu ke-0 Contoh ditolak: Masukan Tumpukan keadaan saat ini
Waktu ke-1 Contoh ditolak: Masukan Tumpukan keadaan saat ini
Waktu ke-2 Contoh ditolak: Masukan Tumpukan keadaan saat ini
Waktu ke-3 Contoh ditolak: Masukan Tumpukan keadaan saat ini
Waktu ke-4 Contoh ditolak: Masukan Tumpukan keadaan saat ini
Waktu ke-4 Contoh ditolak: Masukan Tumpukan ditolak keadaan saat ini
String Masukan ditolak oleh PDA:
Suatu string ditolak jika tidak memenuhi: Semua Masukan selesai dieksekusi DAN Keadaan terakhir merupakan keadaan yang diterima Pada keadaan akhir, isi tumpukan tidak diperdulikan.
Ide Dasar: 3. Cocokkan pada input dengan v pada tumpukan • ‘Push’ v ke dalam tumpukan 2. Tebak posisi tengah input 4. Cocok!
Contoh Eksekusi: Waktu ke-0 Masukan Tumpukan
Waktu ke-1 Masukan Tumpukan
Waktu ke-2 Masukan Tumpukan
Waktu ke-3 Masukan Tebak posisi tengah input Tumpukan
Waktu ke-4 Masukan Tumpukan
Waktu ke-5 Masukan Tumpukan
Waktu ke-6 Masukan Tumpukan diterima
Waktu ke-0 Contoh ditolak: Masukan Tumpukan
Waktu ke-1 Masukan Tumpukan
Waktu ke-2 Masukan Tumpukan
Waktu ke-3 Masukan Tebak posisi tengah input Tumpukan
Waktu ke-4 Masukan Tumpukan
Waktu ke-3 Tidak ada transisi lagi Masukan Input belum selesai dieksekusi Tumpukan
Cara eksekusi lainnya (untuk string yang sama) Masukan Waktu ke-0 Tumpukan
Waktu ke-1 Masukan Tumpukan