شبیه‌ساز ماشین تورینگ

تعریف و شبیه‌سازی ماشین تورینگ

حالت اولیه: توابع انتقال:

رشته ورودی:

وضعیت: منتظر ورودی...

وضعیت فعلی: هنوز تعریف نشده است

تابع انتقال قبلی: هنوز تعریف نشده است

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

این ابزار یک شبیه‌ساز ماشین تورینگ است. شما می‌توانید با تعریف حالت اولیه و توابع انتقال، ماشین خود را تعریف کنید.

درصورت تنظیم مجدد نوار یا تعریف دوباره ی ماشین، دکمه ی "ریست ماشین" و سپس دکمه "تنظیم نوار" را فشار دهید.

رشته ورودی را وارد کرده و سپس دکمه "تنظیم نوار" را فشار دهید.

برای اجرای گام‌به‌گام، دکمه "اجرای گام‌به‌گام" را فشار دهید.

کلا دو نوع تابع انتقال داریم، یکی مقدار تغییر میده، و یکی هد نوار رو جابه جا میکنه:

مثال q0,1,0,q0: اگر ماشین در حالت q0 بود،و هد نوار عدد 1 را مشاهده کرد، آن را صفر کند، و سپس به حالت q0 برود.

مثال q0,0,R,q1: اگر ماشین در حالت q0 بود،و هد نوار عدد0 را مشاهده کرد، هد نوار یکی به سمت راست میرود، و سپس به حالت q1 برود.

مثال q1,1,L,q4: اگر ماشین در حالت q1 بود،و هد نوار عدد 1 را مشاهده کرد، هد نوار یکی به سمت چپ میرود، و سپس به حالت q4 برود.

حمیدرضا مهرآبادی

سینا ابارشی

محمدرضا مرادزاده

پویا عاقلی

پروژه کاربردی برای درس نظریه محاسبه تحت راهنمایی

دکتر سید محمد امین خاتمی