گزارش نهایی وبلاگ

نام

نام خانوادگی

مطالب تهیه شده برای وبلاگ

محمد

کوچی

 ماشین تورینگ و مقایسه آن با ماشین واقعی

بشیر

زمانی

پیچیدگی محاسبات

احمد

صفایی

تز تورینگ

مرضیه

لنجانی

 

سمانه

غندالی

 سوالات میانترم دانشگاه CALIFORNIA,SANTA BARBARA

فرزانه

اسماعیلی

 نمونه سوالات پایان ترم

سمیه

مهرآباد پور

 نمونه سئوالات چند دانشگاه معتبر

محمد مهدی

ارزانی

سوالات آزمون کارشناسی ارشد علوم کامپیوتر

مهدی

نصراله براتی

سوالات آزمون کارشناسی ارشد مهندسی کامپیوتر

علی

اکبری

 سوالات امتحان شماره یک به زبان فارسی و پاسخ تستی / هوش مصنوعی

محمد جواد

خسروی

سوالات میانترم نظریه زبان به زبان انگلیسی و فارسی

احمد

بزرگی فرد

سوالات امتحان میان ترم گذشته با پاسخ تستی و تصحیح پاسخنامه

علیرضا

شیرمرز

پاسخ سوالات امتحان میان ترم

امیر حسین

حاجی عبدالحمیدی

مدیریت وبلاگ

محمد حسین

حاج کاظمی

زبان های صوری / زبانهای بازگشتنی / زبانهای بازگشتنی برشمردنی / ماشین های مختلف

مهدی

نوروزی

سوالات امتحان شماره یک به زبان انگلیسی و پاسخ تستی

حمیده

حسین زاده

 ساده کردن DFA / نمونه سوال نظریه زبان

جلسه ۱ : ساده کردن DFA

مطالب زیر توسط خانم حمیده حسین زاده در این بخش قرار داده شده است .

https://www.sharemation.com/radsoli/1.doc?uniq=23fvts

نمونه سئوالات نظریه زبان

https://www.sharemation.com/radsoli/q.doc?uniq=23fvvf

پاسخ به سئوالات

https://www.sharemation.com/radsoli/ans.doc?uniq=23fvtx

نمونه سئوالات چند دانشگاه معتبر

نمونه سئوالات زیر سئوالات میان ترم نظریه زبانها و ماشینها است و زمان در نظر گرفته شده برای پاسخ گویی ۹۰ دقیقه است .

موفق باشید ....

https://www.sharemation.com/radsoli/automata.doc?uniq=23fvid

 سئوالات زیر نیز سئوالات پایان ترم و با همان زمان پاسخ گویی ۹۰ دقیقه است .

https://www.sharemation.com/radsoli/AUTOMATA2.doc?uniq=23fvii

امتحان شماره یک به زبان فارسی

 

سوالات امتحان شماره یک را به زبان فارسی و پاسخ تستی می توانید از اینجا و اینجا دانلود کنید.

تز تورینگ

بسمه تعالی

نظریه زبانها – ماشین تورینگ

تر جمه The Church Turing Thesis  

    به دنبال توسعه نظریه محاسبات، چندین مدل از ابزارهای محاسباتی را ارائه می کنیم. آتاماتای متناهی، مدلهای خوبی برای ابزارهای با جافظه کوچک هستند. آتاماتای push down ، مدلهای خوبی برای ابزارهای با حافظه نامحدود هستند که فقط به روش last in first out یا همان LIFO که روش حافظه پشته (stack) است مورد استفاده قرار می گیرند. ما نشان می دهیم که برخی وظایف خیلی ساده  فراتر از قابلیتهای این مدلهاست. ازینرو ، آنها خیلی محدود می شوند تا بتوانند بعنوان مدلهایی از کامپیوترهای همه منظوره  عمل کنند.

    اکنون سراغ مدل خیلی قویتری می رویم که نخستین بار توسط آلن تورینگ (Alan Turing) در سال 1936 میلادی و تحت عنوان ماشین تورینگ ارائه شد. مشابه یک آتاماتای محدود ولی با حافظه ای نامحدود و بدون شرط است و مدل دقیقتری از یک کامپیوتر همه منظوره را ارائه می کند. یک ماشین تورینگ تمام کارهایی که یک کامپیوتر همه منظوره انجام می دهد را انجام می دهد. اما با این وجود، ماشین تورینگ نیز از حل مسائل قطعی عاجز است. در یک نگاه خیلی دقیق، اینگونه مسائل فراتر از محدودیتهای تئوریک در محاسبات هستند.

    مدل ماشین تورینگ از یک نوار نامحدود بعنوان حافظه نامحدود خود استفاده می کند. این حافظه امکان خواندن و نوشتن سمبل ها  را دارد  و دور نوار می گردد. در ابتدا، نوار فقط حاوی رشته ورودی است و سایر مکان های آن خالی است. اگر ماشین نیازمند ذخیره کردن چیزی بود ، باید آنرا روی نوار ذخیره نماید. ماشین به کارش ادامه می دهد تا وقتی که بخواهد خروجی تولید کند. خروجی های قبول کردن یا ردکردن با تعیین حالات قبولی و ردی مشخص می شود. اگر چنین حالاتی ، تعریف نشوند  ماشین همواره و برای همیشه کار خواهد مرد و هرگز متوقف نخواهد شد.

    جهار مورد زیر، تفاوت های اساسی میان ماشین های تورینگ و آتاماتای متناهی است :

1-             یک ماشین تورینگ هم می تواند روی نوار بخواند و هم بنویسد.

2-              هد (head) خواندن و نوشتن می تواند هم به راست و هم به چپ حرکت کند.

3-              نوار، نامحدود است.

4-              حالات ویژه برای پذیرفتن یا رد کردن آثاری فوری دارد.

 

    به طور غیر رسمی، الگوریتم را اینگونه تعریف می کنیم که مجموعه ساده ای از دستورات ساده برای اجرای برخی وظایف است. الگوریتمها در زندگی روزمره و در ریاضیات نقش بسیاری دارند. اما بطور دقیقتر می توان این فهم شهودی از الگوریتمها را با نظریه ماشین تورینگ ، نشان داد. تاریخچه این امر، به ماجرای مهمی به نام مسائل هیلبرت باز می گردد.           

 

احمد صفایی

پاسخ سوالات امتحان میان ترم

برای مشاهده پاسخ های امتحان میان ترم اینجا و اینجا را کلیک کنید.

علیرضا شیرمرز