Download 2008-2009 yılındaki ödev5 and more Study Guides, Projects, Research Computer Science in PDF only on Docsity!
BİÇİMSEL DİLLER VE OTOMATLAR
ÖDEV-
1) }^ } şeklinde verilen dil, a’ların sayısı b’lerin
sayısından az olan sözcükleri içerir. Bu dili kabul eden yığın yapılı otomatı (PDA)
oluşturarak üretim kurallarını veriniz.
2) a. Aşağıda tanımlı dili kabul eden yığın yapılı otomatı oluşturunuz.
b. Bu dile uyan bir örnek katar seçerek, tanımladığınız otomat tarafından kabul
edildiğini gösteriniz
3) Şerit üzerinde bulunan bir w katarında abc alt katarını arayan bir Turing makinası
tasarlanacaktır. Makina arama sonunda abc katarını bulursa, şeritteki giriş katarının
en sağına koyacağı bir boşluğun ardından ○Y^ simgesini yazacaktır. Arama sonucunda
abc alt katarını bulamazsa, giriş katarının en sağına koyacağı bir boşluğun ardından
○N^ simgesini yazacaktır. } olarak tanımlanmış olsun. Aşağıda her iki
durum için örnek birer çalışma verilmiştir:
#acbbca# sonucunda #acbbca#○N^ # çıktısı,
#accabcb# sonucunda ise #accabcb#○Y^ # çıktısı elde edilmelidir.
4) Başlangıç konfigürasyonu (q0, #uxv) şeklinde verilen bir karakter katarından x
simgesini silen bir Turing Makinası tasarlanacaktır. }^ ve }
şeklindedir. Makinanın son konfigürasyonu (h,#uv#) olacaktır.
Ödevlerinizi, 4 Ocak 2012 Çarşamba 23:00 ’e kadar Ninova üzerinden ‘doc’ veya ‘pdf’
uzantılı bir dosya şeklinde teslim edebilirsiniz.
ÇÖZÜMLER
1) M = ( K, , Γ, Δ, s, F)
K = { q 0 , q 1 , f }, = {a, b}, Γ = {a, b, c}, F = { f } Δ = {[( q 0 , Λ, Λ ), (q 1 , c)], [(q 1 , a, c ), (q 1 , ac)], [(q 1 , a, a ), (q 1 , aa)], [(q 1 , b, c), (q 1 , bc)], [(q 1 , b, b), (q 1 , bb)], [(q 1 , a, b), (q 1 , Λ)], [(q 1 , b, a), (q 1 , Λ)], [(q 1 , Λ, b), (f, Λ)]}
Gramer üretim kuralları:
S aSb |bSa | bS | Sb | b
2) a) Gramer üretim kuralları:
S aSB | Λ B bb | b Bu dili tanıyan PDA’nın tanımı: M = ( K , , Γ, Δ, s , F ) K = { q0 , q1, q2, q3 }, = { a , b }, Γ = { a }, F = {q2, q3 } Δ = { [(q0, Λ, Λ), (q3, Λ)], [(q0, a, Λ), (q1, a)], [(q0, a, Λ), (q0, a)], [(q0, b, a), (q2, Λ)], [(q1, Λ, Λ), (q0, a)], [(q2, b, a), (q2, Λ)]}
b) (^) Durum Katar Yığın q0 aabbbb Λ q1 abbbb a q0 abbbb aa q1 bbbb aaa q0 bbbb aaaa q2 bbb aaa q2 bb aa q2 b a q2 Λ Λ
Durum Katar Yığın q0 aabbb Λ q1 abbb a q0 abbb aa q0 bbb aaa q2 bb aa q2 b a q2 Λ Λ
3) q a b c # ○Y ○ N K = {qs, q 0 , q 1 , q 2 , q 3 , q 4 , q 5 , h}
= {a, b, c, ○Y^ , ○N^ , #}
s = qs
Final durum: h
q s --- --- --- (q0,R) --- ---
q 0 (q1,R) (q0,R) (q0,R) (q4,R) --- (h,R)
q 1 (q1,R) (q2,R) (q0,R) (q4,R) --- ---
q 2 (q1,R) (q0,R) (q3,R) (q4,R) --- ---
q 3 (q3,R) (q3,R) (q3,R) (q5,R) --- ---
q 4 --- --- --- (h,○N ) --- ---
q 5 --- --- --- (h,○Y^ ) --- ---
h --- --- --- (h,#) (h,R) (h,R)
4 ) (q0,a) (q1,R) (q0,b) (q1,R) (q1,a) (q3,L) (q1,b) (q4,L) (q1,#) (q2,L) (q2,a) (h,#) (q2,b) (h,#)
(q3,a) (q5,a) (q3,b) (q5,a) (q4,a) (q5,b) (q4,b) (q5,b) (q5,a) (q0,R) (q5,b) (q0,R)
