(۱۳ دى ۱۳۹۰ ۰۴:۵۳ ب.ظ)reyhaneh64 نوشته شده توسط:  منطق طراحی ماشین تورینگ مربوط به زبان زیر رو میخواستم
$L=\left \{ w | n_{a}(w) = n_{b}(w) , \Sigma =\left \{ a,b \right \} \right \}$

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