| Yazar |
|
bekirkocadag
Denizli
Kayıt: 12.11.2007 |
|
Selam arkadaşlar,
bütünleme sınavındaki 1.soruyu yapan var mı?
Kısaca anlatabilirse çok makbule geçer...
L1= { a^n b^m | n,m => 0 and n =! 5 and m =!5 }
L2= { a^n b^m | n,m => 0 and n-m < 100 }
L3= { x € { a,b,c }* | x'in ilk ve son sembolleri aynı olmayacak }
L4= { a^n b^m | nm =! 0 and n,m=> 0 }
L5= { x € { a,b,c,d }* | |x|a = |x|c and |x|b = |x|d }
L6= { x € { a,b,c,d }* | |x|a = |x|c or |x|b = |x|d }
L7= { a^n b^m c^nm | n,m => 0}
Her?eyin bir sonu var...
|
|
|
| Yazar |
|
bekirkocadag
Denizli
Kayıt: 12.11.2007 |
|
1. soruda senden farklı olarak L7 ye Nonregular dedim çünkü {a,b,c}* dan hiç bi farkı yok. Bir de L2 de kararsız kalmıştım ama ne yaptığımı hatırlamıyorum yanlış olmasın.
2. sorunun a şıkkında farklı bir şey yok, klasik a^n+5 b^5n c^n e pumping lemma uygulayınca çıkıyor.
b şıkkında ise önce a*b* ile intersection yapmıştım, sonra homomorfizmle a yerine a^5 yazdım. sonra da oluşan ifadenin sonuna b^25 ekledim. a ve bnin üsleri eşit oldu böylece. sonra defterdeki örnek gibi 5n+25 ten 5n+30 a kadar sol tarafa a sağ tarafa b ekledim. sonra yine 5n+25 ten 5n+30 a kadar olan ifadeleri birleşim işlemine soktum. en son a^5nb^5n kaldı. yine defterdeki taktiği uygulayıp 5n den 5n+5 e çıkardım. hepsini birleşim işlemine soktum ve a^n b^n i elde ettim. biraz uzun oldu ama defterdeki closure örneğine bakınca anlaşılıyor. :)
3. soruyu da hatırladığım kadarıyla ekte gönderiyorum. Umarım geçersin.
Bu arada ben iucodersa giremiyorum. bu yazdıklarımı oraya da koyarsan iyi olur:)
--
Neslisah CELİK'in cevabı
Her?eyin bir sonu var...
|
|
|
|
|
Del.icio.us
Digg
Facebook
Furl
Google
Blink
Simpy
Spurl
Y! MyWeb