Assalamualaikum wr wb

dikesempatan kali ini saya akan menjelaskan sebuah

materi dalam pembelajaran
1- Mekanisme kerja push down automata(PDA)
2- PDA untuk suatu tata bahasa bebas konteks
3- Deskripsi seketika pada mesin PDA
4- Ekuivalensi final state push Down
Automata dan Null Stack push down Automata

Nama :angga rizky.s

Nim : 0701171001
Prodi :ilmu komputer-1
matkul :Teori Bahasa dan Automata
1.Pushdown Automata
PDA adalah mesin otomata yang memiliki kendali masukan menggunakan
teknik LIFO (Last In First Out), untuk menentukan apakah suatu output
diterima atau tidak oleh mesin tsb. Dalam melakukan proses peneerimaan input,
PDA menggunakan memory stack.
Mekanisme Cara Kerja Pushdown Automata
Mekanisme kerja memory stack adalah menyimpan input pertama pada
alamat paling bawah, input berikutnya di simpan pada alamat di atasnya, dan
input terakhir di simpan pada alamat paling atas. Perintah operasi yang
digunakan untuk menyimpan input pada stack adalah “push”. Sedangkan
perintah operasi untuk mengeluarkan input yang telah tersimpan adalah “pop”.
Sebuah PDA dinyatakan dengan 7 Tupel:
Q = himpunan state
Σ = himpunan simbol input
T = simbol stack
Δ = fungsi transisi
S = state awal
F = state akhir
Z = top of stack
PDA memiliki 2 jenis transisi, yaitu
. PDA untuk suatu tata Bahasa bebas konteks
Himpunan semua bahasa bebas konteks identik dengan set bahasa diterima oleh
pushdown automata , yang membuat bahasa ini setuju untuk parsing . Memang , diberi
CFG , ada cara langsung untuk menghasilkan robot pushdown untuk tata bahasa ( dan
bahasa yang sesuai ) , meskipun pergi ke arah lain ( menghasilkan tata bahasa diberikan
robot ) tidak sebagai langsung .

bahasa bebas konteks memiliki banyak aplikasi dalam bahasa pemrograman ; misalnya ,
bahasa semua kurung benar cocok dihasilkan oleh tata bahasa { \ displaystyle S \ ke SS ~
| ~ ( S ) ~ | ~ \ varepsilon } . Juga, kebanyakan ekspresi aritmatika yang dihasilkan oleh
tata bahasa bebas konteks
Contoh :
Bahasa bebas konteks pola dasar adalah {\ displaystyle L = \ {a ^ {n} b ^ {n}: n \ GEQ
1 \}}, bahasa semua non-kosong string bahkan panjang, seluruh pertama bagian dari yang
{\ displaystyle sebuah} ‘s, dan seluruh bagian kedua yang {\ displaystyle b}’ s. {\
Displaystyle L} dihasilkan oleh tata bahasa {\ displaystyle S \ ke ASB ~ | ~ ab}. Bahasa
ini tidak biasa. Hal ini diterima oleh otomat pushdown {\ displaystyle M = (\ {Q_ {0},
Q_ {1}, Q_ {f} \}, \ {a, b \}, \ {a, z \}, \ delta , Q_ {0}, z, \ {Q_ {f} \})} dimana {\
displaystyle \ delta} didefinisikan sebagai berikut: [catatan 1]
{\ Displaystyle \ delta (Q_ {0}, a, z) = (Q_ {0}, az)}
{\ Displaystyle \ delta (Q_ {0}, a, a) = (Q_ {0}, aa)}
{\ Displaystyle \ delta (Q_ {0}, b, a) = (Q_ {1}, \ varepsilon)}
{\ Displaystyle \ delta (Q_ {1}, b, a) = (Q_ {1}, \ varepsilon)}
bahasa bebas konteks ditutup di bawah operasi berikut . Artinya, jika L dan P adalah bahasa bebas
konteks , bahasa berikut ini adalah bebas konteks juga:
serikat { \ displaystyle L \ secangkir P } L dan P
pembalikan L
Rangkaian { \ displaystyle L \ cdot P } L dan P
tanda star { \ displaystyle L ^ { * } } L
gambar { \ displaystyle \ varphi ( L ) } dari L di bawah homomorfisma sebuah { \ displaystyle \
varphi }
gambar { \ displaystyle \ varphi ^ { – 1 } ( L ) } dari L di bawah homomorfisma terbalik { \
displaystyle \ varphi ^ { – 1 } }
pergeseran siklik dari L ( bahasa { \ displaystyle \ { vu : uv \ di L \ } } )
bahasa bebas konteks tidak tertutup di bawah pelengkap , persimpangan , atau perbedaan .
Namun, jika L adalah bahasa bebas konteks dan D adalah bahasa reguler maka kedua persimpangan
mereka { \ displaystyle L \ cap D } dan perbedaan mereka { \ displaystyle L \ setminus D } adalah
bahasa bebas konteks .
Nonclosure bawah persimpangan , pelengkap , dan perbedaan [ sunting ]
Bahasa bebas konteks tidak tertutup di bawah persimpangan . Hal ini dapat dilihat dengan
mengambil bahasa { \ displaystyle A = \ {a ^ { n } b ^ { n } c ^ { m } \ pertengahan m , n \ GEQ
0 \ } } dan { \ displaystyle B = \ { a ^ { m } b ^ { n } c ^ { n } \ pertengahan m , n \ GEQ 0 \ } } ,
yang keduanya bebas konteks . [catatan 2 ] persimpangan mereka adalah { \ displaystyle A \ cap B
= \ { a ^ { n } b ^ { n } c ^ { n } \ pertengahan n \ GEQ 0 \ } } , yang dapat ditunjukkan untuk
menjadi non – konteks bebas oleh lemma memompa untuk bahasa bebas konteks .
bahasa bebas konteks juga tidak tertutup di bawah komplementasi , seperti untuk bahasa apa A dan B
: { \ displaystyle A \ cap B = { \ overline { { \ overline { A} } \ cup { \ overline { B } } } } } .
Bebas konteks bahasa juga tidak tertutup di bawah perbedaan : LC = Σ * \ L
PDA (Push down automata
Demikianlah hasil materi yang dapat
saya sajikan jika ada kesalahan kata
maupun isi mohon di maklumi
wassalamualaikum wr wb