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

سلام این ماشینش چه شکلی میشه؟
[tex]L=\left \{ w_{1}w_{2} | w_{1},w_{2}\epsilon\left \{ a,b \right \}^{*},w_{1}=w_{2} \right \}[/tex]

سلام به دوست خوبم !
اول باید وسط این دوتا یه فاصله ایجاد کنی که راه های زیادی داره.
یه راه اینه که اول یک نقطه آخر عبارت بذاریم بعد بریم اول عبارت به ازای هر 1(یا2 یا 3 یا ...) که اول بود رو با x (یاy یا z یا ...) عوض کنیم و بریم آخر و نقطه رو به اندازه یک کاراکتر شیفت بدیدم سمت وسط و دوباره برگردیم به چپ و انقدر ادامه بدیم تا به اولین x یا y یا... برسیم بعد دوباره یکی میریم به راست (این مرحله بعدا مورد رجوع قرار میگیره پس اسمشو میذارم * )و در صورتی که بازم 1 یا 2 یا... جلوی هد بود همون کار اول رو تکرار می کنیم . خوب حالا اگه تو مرحله *( که تو پرانتز علامت زدیم) بعد از اینکه بعد از رسیدن به یک x یا y یا... یک خونه به سمت راست رفتیم و با نقطه برخورد کردیم . یعنی این نقطه وسط عبارت قرار گرفته و تقریبا کار تمومه.
خوب حالا عبارت شد w1 . w2 که ماشین تورینگ این خیلی راحته. اما اگه بازم مشکل دارید بفرمایید تا اونم توضیح بدم.

سلام. درهر صورت وسط رشته باید مشخص بشه. برای این کار میتونی یه حرف از اول و یه حرف از آخر به حرف بزرگ نوشت. یعنی اولین حرف رو بزرگ میکنیم، آخرین حرف رو بزرگ میکنیم. دومین حرف. یکی مونده به آخرین, سومین و دوتا مونده به آخری و ... شرط پایان چک میشه وقته به حرف بزرگ برسیم. این حرف، حرف اول w2 خواهد بود. این حرف رو با اولین حرف رشته مقایسه میکنیم. (میتونید دوباره به حروف کوچیک تبدیل کنید. با اینکار مکان رشته w2 رو از دست نمیدید.) این کارو تا وقتی ادامه میدید که تمام حروف به کوچیک تبدیل بشه یا یه اختلاف ببینید.

مرسی از کمک دوستان عزیزم دوستتون دارم زیاد
با توضیحات شما و یکم فکر حلش کردم
اگه c وسط رشته بود راحت بود
برای رشته دابلیوپریم a ها با یک ، b ها با یک و در مقابل برای aوb مربوط به دابلیو صفر میزاریم در پایان مشخص میشه که مچ داریم !
اما اینجا با توضیحات دوستان چون غیر قطعی هست از وضعیت غیر قطعی ماشین تورینگ استفاده میکنیم و صفر و یکهای ابتدای رشته رو رد میکنیم تا به صورت غیر قطعی به ابتدا دابلیوپریم برسیم سپس از همان ایده استفاده می کنیم
ماشین حالتی که c داره با 9 حالت کشیدم ولی این یکی با 8 حالت رسم شد!
مرسی راهنمایی هاتون هم مفید بود