sanıyorum o olmaz zira "ba" ya da "bb" ile bir string'e başlayamıyorum, "acb" elde edemiyorum. ben S->aSbS | bSaS | e yazdım gramer olarak ama bu sefer c'leri nereye koyacağımı bilemedim. gerçi bu gramerin de doğru olup olmadığını bilemiyorum zira kanıtlama yöntemlerini bilmiyorum bu konuda.
bildigim kadariyla gramere "sununla su ayni sayida olacak" gibi bir sart koyamazsin, otomatini da cizemezsin.
push down automaton çizebiliyorum her string'de aynı sayıda harf içeren bir dil için, o sorun değil ama gramerini kuramadım tam olarak. c olmasa yine bir şeyler olacak ama c harfi sorun yaratıyor.
S -> aSb | bSa | Sc | cS | eps.
isini gorecek herhalde.
simendiferlerin efendisi, ona bir de S-> SS eklesem daha mı iyi olur? abaabbba yaratmak için mesela.
sanıyorum eklesem de çalışmıyor, aSbS gibi yazmalıyım gramerde.
bu arada cevap verip ilgilenen herkese çok teşekkür ederim.