سلام
ماشین تورینگ زبانی که طول رشته های فرد باشد گرامرش چی هست؟یا خود ماشین چه جور میشه کشید؟
اول یه تذکر : این سوال جاش اینجا نیست باید در بحث نظریه زبانها مطرح میکردی قسمت پرسش و پاسخ حالا جواب
ببین دوست من کتاب لینز رو یادمه زوجش رو نوشته بود با یه تغییر ساده می تونی فرد رو هم بنویسی هر دو رو برات قرار میدم :
[tex](q_{0},a)=(q_{0},b)=(q_{1},\square ,R)[/tex] این میگه چه a و چه b اگه [tex]q_{0}[/tex] باشه برو به راست و حالت [tex]q_{1}[/tex]
[tex](q_{1},a)=(q_{1},b)=(q_{0},\square ,R)[/tex] این میگه چه a و چه b اگه [tex]q_{1}[/tex] باشه برو به راست و حالت [tex]q_{0}[/tex]
[tex](q_{0},\square)=(q_{2},\square,R )[/tex] حالا دقت کن با یه رشته امتحان کن وقتی زوجه این حالت پیش میاد و البته حالت نهایی میشه [tex]{q_{2}}[/tex]
حالا برا حالت فرد دوتای اول رو داریم فقط بجای سومی اینو مینویسیم :
[tex](q_{1},\square)=(q_{2},\square,R )[/tex]
دقت کن حالت پایانی همون [tex]{q_{2}}[/tex] می باشد .
گرامرشم سعی کردم مثل ماشین عمل کنه امیدوارم درست باشه :
[tex]S\rightarrow aA |bA|a|b[/tex]
[tex]A\rightarrow aS |bS[/tex]
[tex]A\rightarrow aS |bS[/tex]
اگه نفهمیدی دکمه کامل نیست رو بزن تا دوستان توضیح بیشتر بدن