تالار گفتمان مانشت

نسخه‌ی کامل: ماشین تورینگ - زبانی که طول رشته های فرد
شما در حال مشاهده‌ی نسخه‌ی متنی این صفحه می‌باشید. مشاهده‌ی نسخه‌ی کامل با قالب بندی مناسب.
سلام

ماشین تورینگ زبانی که طول رشته های فرد باشد گرامرش چی هست؟یا خود ماشین چه جور میشه کشید؟
اول یه تذکر : این سوال جاش اینجا نیست باید در بحث نظریه زبانها مطرح میکردی قسمت پرسش و پاسخ حالا جواب

ببین دوست من کتاب لینز رو یادمه زوجش رو نوشته بود با یه تغییر ساده می تونی فرد رو هم بنویسی هر دو رو برات قرار میدم :

[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]

اگه نفهمیدی دکمه کامل نیست رو بزن تا دوستان توضیح بیشتر بدن
لینک مرجع