L= { w ∈ {a, b}* | w için bir itme otomatı nasıl oluşturulur, bazı x ∈ {a, b}* }için xx^R'ye eşit değildir
0
Deterministik olmayan bir aşağı itme otomatına ihtiyacınız olduğunu varsayıyorum. Bunun deterministik bir PDA ile yapılabileceğini sanmıyorum.
Bu bir ev ödevi problemi gibi geliyor, bu yüzden sadece genel bir taslak vereceğim:
Esasen dizenin merkezinin nerede olduğunu tahmin edersiniz. Bir noktada dizenin merkezine ulaştığınızı tahmin edene kadar öğeleri yığının üzerine itersiniz. Daha sonra girdinizi yığından çıkardığınız öğelerle karşılaştırmaya başlarsınız. Eşleşmezlerse başarısız olursun. Yığının boş olduğu gibi girdinin sonuna ulaşırsanız başarılı olursunuz.