𝐆𝐇𝐀𝐙𝐀𝐋Фотография
صورت مسئله یه w هس ک از a و b تشکیل شده و میتونه همه چی باشه
babababbababaaaabbb
و تعداد b ها باید فرد باشه
برای حل کردنش یه L ساخته تا گرامر مستقل از متن بنویسه.
a* b (a* b a* b a*)* a*
از سمت چپ، دومین کاراکتر ک میشه b تنها، بخاطر فرد بودن، همیشه وجود داره. بعدش یه پارانتز تشکیل داده ک اگر b های اضافی اومد، به صورت دوتایی بیان ک با اون b تنها، عدد فرد بشن
پارانتز ساختارش اینطوریه ک همیشه دوتا b میسازه و بین این دوتا ممکنه چنتا a وجود داشته باشه. a* یعنی هرچنتا a ک میخواد باشه مهم نیست. چه صفر تا و چه بینهایت تا
در مجموع کلمه ای ک ساخته میشه شامل تعداد فرد b و تعداد نامعلوم a بین این b ها
گرامر منظم ک اون پایین نوشته قضیش فرق داره. گرامر منظم فقط از یه سمت تزریق میشه. اونو یه جور ساخته ک از S شروع میشه و اگه یه b داشته باشه، میتونه با لاندا ب پایان برسه ولی اگه یه b دیگه تولید بشه دوباره ب S برمیگرده و درواقع اگ تعداد b زوج باشه، با لاندا نمیتونه تموم بشه