حجم فایل : 132.0 KB
نوع فایل : پاور پوینت
تعداد اسلاید ها : 17
بنام خدا ماشین های تورینگ، تشخیص پذیری و تصمیم پذیری زبان ها Enumerators Show that a language is decidable iff some enumerator enumerates the language in lexicographic order.
Show that every infinite recognizable language has an infinite decidable language as a subset. طراحی تصمیم گیر زبان های مکمل-تشخیص پذیر(co-recognizable) زبان های تصمیم پذیر زبان های تصمیم پذیر M is a Turing machine
Does M take more than k steps on input x?
Does M take more than k steps on some input?
Does M take more than k steps on all inputs?
Does M ever move the tape head more than k cells away from the starting position?
زبان های تصمیم پذیر {M: M is the description of a Turing machine and L(M) is a Turing recognizable language}
زبان های تصمیم ناپذیر زبان های تشخیص ناپذیر زبان های تشخیص ناپذیر Consider the following language L:
L = { | for every input string w, M will halt within 1000|w|2 steps }
Show that this language is not recognizable. (Reduce from ~ATM.) complement of طراحی تشخیص دهنده Close look to the formal definition of a TM
Exercise 3.5:
Can a Turing machine ever write the blank symbol on its tape?
Can the tape alphabet be the same as the input alphabet?
Can a Turing machines read head ever be in the same location in two successive steps?
Can a Turing machine contain just a single state?
خواص بسته بودن زبان های تشخیص پذیر:
اجتماع
اشتراک
تکرار(*)
الحاق
زبان های تصمیم پذیر
اجتماع
اشتراک
مکمل گیری
تکرار(*)
الحاق
Robustness doubly infinite tape
k-stack PDAs (k>1)
A Turing machine with only RIGHT and RESET moves
Cyclical Turing machine
A queue automaton
2(k) head Turing machine
Turing machine with k-dimensional tape
A single tape TM not allowed to change the input -> regular language
Only Right and Stay Put moves -> regular language Clue to the Solution: input-read-only TM At most the last |Q| squares of input on tape can be determining.
Myhill-Nerode theorem
if a language L partitions ∑* into a finite number of equivalence classes then L is regular.
See:
http://www.eecs.berkeley.edu/~tah/172/7.pdf
http://en.wikipedia.org/wiki/Myhill-Nerode_theorem پایان...
مبلغ واقعی 18,824 تومان 20% تخفیف مبلغ قابل پرداخت 15,059 تومان
عنوان مقاله : کاربرد عکس های هوایی در برنامه ریزی شهری قالب بندی : Word صفحات : 14 ص شرح مختصر : عکسبرداری هوایی ، تفکیکی نسبتاً جدید است که تاریخ آن کم و بیش مقارن با پیدایش هنر و علم عکاسی و همچنین صنعت هوانوردی است. اولین گزارش کتبی اختراع فن عکاسی به آکادمی علوم و هنرهای فرانسه ...
عنوان مقاله : مراحل مختلف تصفیه آب در تصفیه خانه قالب بندی : Word صفحات : 112 ص شرح مختصر : آب مادهاي فراوان در كره زمين است. به شكلهاي مختلفي همچون دريا، باران، رودخانه و … ديده ميشود. آب در چرخه خود، مرتباً از حالتي به حالت ديگر تبديل ميشود اما از بين نميرود. هر ...
عنوان : گزارش کار آموزی اجرای کارهای ساختمانی قالب بندی : Word صفحات : شرح مختصر : اجرای کـارهـای ساختمانی شـامـل مراحـل متعددی است که ضمن آن افراد با ماشین آلات ساختمانی، ابزار و مصالح گوناگون سروکار دارند . این روابط ویژگی ها امکان وقـوع حوادث را بـرای نیروی انسـانی را ...
عنوان مقاله : طراحی و نور پردازی استخر ها قالب بندی : PDF صفحات : 59 ص شرح مختصر : در استخرهای شنا؛ استخرهای تزیینی، جکوزی ها، سونای خشک و سونای بخار به دلیل خاصیت رسانایی آب و ماهیت مرطوب فضای استخر،احتمال ایجاد شوک الکتریکی و آسیب های جانی بسیار زیاد است .تاثیر شوک ...
آشنايي با جريان سه فاز جريان سه فاز در مداري كه سيم بندي القاء شونده آن (آرميچر) از سه دسته سيم پيچ جدا كه هر كدام نسبت به هم 120 درجه الكتريكي اختلاف فاز دارند تهيه مي شود. انواع اتصال در سيستم سه فاز . در سيستم سه فاز معمولاً از سه نوع اتصال استفاده مي شود : الف- اتصال ستاره ب- ...
عنوان مقاله : مدیریت پسماندهای روستایی قالب بندی : PDF صفحات : 22 ص شرح مختصر : ارتقاي سلامتي افراد جامعه يکي از مهمترين مسائل اساسي هر کشور، ارتقاي سلامتي افراد آن جامعه است که بايد از ابعاد مختلف از جمله رواني مورد توجه قرار گيرد. وظيفه اصلي بهداشت رواني تأمين سلامت فکر و ...
عنوان پروژه : تاریخچه موزه و موزه داری در ایران و جهان قالب بندی : word صفحات : شرح مختصر : بی شك وجود موزه به عنوان یك نهاد فرهنگی در اجتماع بسیار ضروری است فرهنگ هر جامعه یك مفهوم كلی است و تمامی ارزشها و یافتههای معنوی مردمان آن جامعه را در بر میگیرد. پس فرهنگ. ...
فرمت فایل اصلی : پاورپوینت ( ppt ) حجم درحالت فشرده : 1.97 مگابایت تعداد صفحات فایل : 33 اسلاید هدیه محصول : فایل پاورپوینت بررسی معماری سبک رازی-24 اسلاید هردوفایل (فایل اصلی و هدیه) در یک فایل زیپ (zip-winrar) قرار گرفته است. پاورپوینت بررسی سبک معماری ... ...
پاسخ تشریحی تمرین های کتاب تئوری ماشین و مکانیزم ها، ویرایش چهارم، نگارش پناک، شیگلی و یوئیکر با نام انگلیسی: Theory Of Machine And Mechanisms Si Edition solution manual, 4th Ed. by Gordon R. Pennock & Joseph E. Shigley John J. Uicker این مجموعه شامل پاسخ تشریحی تمرین ... ...
نام کتاب : آموزش پیش از ازدواج نویسنده : مهدی میر محمد صادقی فرمت : pdf ... ...
عنوان مقاله : معرفی تکنولوژی نمایشگرهای OLED قالب بندی: word, PPT صفحات : شرح مختصر : OLED مخفف کلمات (Organic Light Emitting Diode) است و به معنای دیودهای ارگانیکی پخش کننده نور می باشد. با تکنولوژی OLED به زودی شاهد خواهیم بود که صفحات نمایشی ساخته می شوند که با وجود ابعاد بسیار بزرگ، نازک و سبک ...
عنوان مقاله : اینترنت موبایل قالب بندی : PDF صفحات: شرح مختصر : در تئوري بايد بتواند سرعت انتقال اطلاعات را بالاي 115 کيلوبيت در ثانيه برساند، در حالي که در عمل اين سرعت به 40 کيلوبيت در ثانيه ميرسد حال آنکه سرعت ارتباط در دستگاههاي متفاوت GPRSبه مراتب با يکديگر فرق ميکنند ...
عنوان جزوه : ا درس سیستم عامل قالب بندی : Power Point صفحات : شرح مختصر : سیستمعامل دو کار عمده انجام میدهد: در نگرش پایین به بالا، منابع منطقی (مانند فایلها) و منابع فیزیکی (مانند دستگاههای سختافزاری) رایانه را مدیریت و کنترل میکند. در نگرش بالا به پایین، ...
عنوان مقاله : معرفی انواع رله ها و کاربرد های آنها قالب بندی: word صفحات : شرح مختصر :حفاظت تجهیزات و دستگاه های سیستم قدرت در مقابل عیوب و اتصالیها ، به وسیله كلید قدرت انجام می گیرد قبل از اینكه كلید قدرت بتواند باز شود ، سیم پیچی عمل كنندة آن باید تغذیه شود این تغذیه به وسیله ...