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

منطق طراحی ماشین تورینگ مربوط به زبان زیر رو میخواستم
[tex]L=\left \{ w | n_{a}(w) = n_{b}(w) , \Sigma =\left \{ a,b \right \} \right \}[/tex]

(13 دى 1390 04:53 ب.ظ)reyhaneh64 نوشته شده توسط: [ -> ]منطق طراحی ماشین تورینگ مربوط به زبان زیر رو میخواستم
[tex]L=\left \{ w | n_{a}(w) = n_{b}(w) , \Sigma =\left \{ a,b \right \} \right \}[/tex]

منطق
۱-رشته رو اسکن میکنیم به یک a که رسیدیم تبدیلش میکنیم به یک x برمیگردیم اول رشته
۲-دوباره از اول رشته اسکن میکنیم با دیدن اولین b تبدلیش میکنیم به یک Y میریم مرحله اول
۳-تا جایی که امکان داره مراحل بالا رو تکرار میکنیم اخرش چک میکنیم اگه چیزی بجز x یا y روی نوار باشه یعنی پذیرش نمیکند