در مورد سوال اولتون اطلاعات کاملی ندارم اما فکر کنم که زبانهای که لامدا دارن از لامدا صرف نظر میشه و بقیه زبان طراحی میشه.

در مورد سوال دومتون هر چند که از لحاظ تعریف تورینگ درسته اما بهتره واسه خوانایی بیشتر و قابل درک تر بودن یه فاصله بین صورت سوال و پاسخ بندازید.
یعنی به جای ۱۱۰۱۱۱۱۱۱ طوری طراحی کنید که ۱۱۰۱۱۰۱۱۱۱ ایجاد بشه بهتره.
اینم کار راحتیه.
رشته ورودیتون اگه ۰۰۱۱۰۱۱ میبود ،هر بار سمت چپ ترین صفر رو با ۰۱۱ جایگزین میکردید و در آخر به یه همچین چیزی میرسیدید ۰۱۱۱۱۰۱۱۰xx که میتونید جای xx دوباره ۱۱ بذاری که شکل x , y هم به هم نخوره که اگه مثلا داخل یه ماشین ترکیبی داری این عمل ضرب رو انجام میدی بعدا دوباره واسه یه عملیات دیگه بتونی به xوy دسترسی داشته باشی.

(۰۳ شهریور ۱۳۹۱ ۱۱:۲۷ ب.ظ)nana0 نوشته شده توسط:  
SALAAAM
تو تعریف ماشین تورینگ به عنوان پذیرنده λ جز رشته ای زبان به حساب نمیاد؟؟؟؟
ینی زبان هایی که λ دارنو نمیشه به صورت ماشین تورینگ نشون داد؟

زبانهایی که لاندا دارند رو میشه با ماشین تورینگ نشون داد که روشهای متعددی داره برای مثال یک روش اینه که شما حالت اولیه ماشین تورینگ رو حالت نهایی در نظر بگیرید البته در این مورد باید توجه کنید که ماشین رشته هایی که شما نمیخواهید رو نپذیره