-
گزارش نهایی وبلاگ
چهارشنبه 14 تیرماه سال 1385 10:51
نام نام خانوادگی مطالب تهیه شده برای وبلاگ محمد کوچی ماشین تورینگ و مقایسه آن با ماشین واقعی بشیر زمانی پیچیدگی محاسبات احمد صفایی تز تورینگ مرضیه لنجانی سمانه غندالی سوالات میانترم دانشگاه CALIFORNIA,SANTA BARBARA فرزانه اسماعیلی نمونه سوالات پایان ترم سمیه مهرآباد پور نمونه سئوالات چند دانشگاه معتبر محمد مهدی ارزانی...
-
جلسه ۱ : ساده کردن DFA
جمعه 9 تیرماه سال 1385 12:12
مطالب زیر توسط خانم حمیده حسین زاده در این بخش قرار داده شده است . 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
-
نمونه سئوالات چند دانشگاه معتبر
جمعه 9 تیرماه سال 1385 12:02
نمونه سئوالات زیر سئوالات میان ترم نظریه زبانها و ماشینها است و زمان در نظر گرفته شده برای پاسخ گویی ۹۰ دقیقه است . موفق باشید .... https://www.sharemation.com/radsoli/automata.doc?uniq=23fvid سئوالات زیر نیز سئوالات پایان ترم و با همان زمان پاسخ گویی ۹۰ دقیقه است ....
-
امتحان شماره یک به زبان فارسی
سهشنبه 6 تیرماه سال 1385 21:29
سوالات امتحان شماره یک را به زبان فارسی و پاسخ تستی می توانید از اینجا و اینجا دانلود کنید.
-
تز تورینگ
سهشنبه 6 تیرماه سال 1385 19:36
بسمه تعالی نظریه زبانها – ماشین تورینگ تر جمه The Church Turing Thesis به دنبال توسعه نظریه محاسبات، چندین مدل از ابزارهای محاسباتی را ارائه می کنیم. آتاماتای متناهی، مدلهای خوبی برای ابزارهای با جافظه کوچک هستند. آتاماتای push down ، مدلهای خوبی برای ابزارهای با حافظه نامحدود هستند که فقط به روش last in first out یا...
-
پاسخ سوالات امتحان میان ترم
سهشنبه 6 تیرماه سال 1385 16:12
برای مشاهده پاسخ های امتحان میان ترم اینجا و اینجا را کلیک کنید. علیرضا شیرمرز
-
ماشین تورینگ و مقایسه آن با ماشین واقعی
یکشنبه 4 تیرماه سال 1385 18:57
Universal Turing machines ( UTM ) هر ماشین تورینگ یک تابع ثابت جزئی قابل محاسبه معین [1] را از روی رشته ورودی الفبایش محاسبه می کند. از این جهت مانند یک کامپیوتر با یک برنامه ثابت رفتار می کند. بهر حال ما قادریم که جدول عملیات [2] هر ماشین تورینگی را در یک رشته [3] کدگذاری [4] کنیم. بنابراین می توانیم یک ماشین تورینگ...
-
سوالات میانترم دانشگاه CALIFORNIA,SANTA BARBARA
شنبه 3 تیرماه سال 1385 11:24
سوالات: http://automata85.tripod.com/pdffile/question.pdf جواب: http://automata85.tripod.com/pdffile/answer.pdf
-
نمونه سوالات پایان ترم
جمعه 2 تیرماه سال 1385 11:36
سوالات: https://www.sharemation.com/radsoli/final%20soal.pdf?uniq=rbg894 جواب: https://www.sharemation.com/radsoli/final%20javab.pdf?uniq=rbg88z
-
هوش مصنوعی
پنجشنبه 1 تیرماه سال 1385 15:07
رؤیای طراحان اولیه کامپیوتر از بابیج تا تورینگ ، ساختن ماشینی بود که قادر به حل تمامی مسائل باشد ، البته ماشینی که در نهایت ساخته شد ( کامپیوتر ) به جز دسته ای خاص از مسائل قادر به حل تمامی مسائل بود . اما نکته در اینجاست که این « تمامی مسائل » چیست ؟ طبیعتاً چون طراحان اولیه کامپیوتر ، منطق دانان و ریاضیدانان بودند...
-
پیچیدگی محاسبات
چهارشنبه 31 خردادماه سال 1385 01:08
برای دریافت فایل اینجا را بکلیکید.
-
گزارش وبلاگ
جمعه 26 خردادماه سال 1385 12:59
گزارش وبلاگ از طریق لینکهای سمت چپ قابل دستیابی است. توجه ۱: دوستانی که هنوز عضو وبلاگ نشده اند و مطالب خود را آماده نموده اند نام و نام خانوادگی و شماره دانشجویی خود را به: a_abdolhamidi@yahoo.com بفرستند تا به عضویت وبلاگ درآیند. توجه ۲: گزارش خرابی فایلها را در قسمت نظرات همان پیام ذکر کنید. توجه۳: زمان ارسال مطالب...
-
ماشین های مختلف
جمعه 26 خردادماه سال 1385 00:26
ماشین مور http://en.wikipedia.org/wiki/Moore_machine ماشین ملی http://en.wikipedia.org/wiki/Mealy_machine ماشن مجازی http://en.wikipedia.org/wiki/Virtual_finite_state_machine
-
زمان امتحان پایان ترم
سهشنبه 23 خردادماه سال 1385 15:32
امتحان پایان ترم نظریه زبانها بدون تغییر در تاریخ ۶ تیر ساعت ۸:۳۰ الی ۱۰:۳۰ بصورت تشریحی و کتاب بسته برگزار می شود.
-
سوالات میانترم نظریه زبان
شنبه 20 خردادماه سال 1385 22:03
http://javadkhosravi.tripod.com/midexamfa.pdf http://javadkhosravi.tripod.com/midexamen.pdf
-
امتحان شماره ۱
سهشنبه 16 خردادماه سال 1385 17:58
امتحان شماره ۱ نظریه زبانها در تاریخ ۲۱/۱۲/۸۴ به صورت تستی و کتاب باز حاوی ۲۰ سوال برگزار شد که سوالات این آزمون به همراه پاسخ تستی به صورت فایل pdf و doc قابل دسترسی می باشد: دانلود فایل pdf دانلود فایل doc دانلود فایل rar مهدی نوروزی
-
زبان های بازگشتی برشمردنی
جمعه 12 خردادماه سال 1385 18:02
در ریاضیات، منطق و علوم کامپوتر، زبان بازگشتی برشمردنی یک نوع زبان صوری است که تا حدی تصمیم پذیر یا تصمیم پذیر تورینگ نیز نامیده می شود.این نوع زبان در سلسله مراتب زبان های صوری چامسکی با عنوان زبان نوع صفر شناخته می گردد.کلاس زبان های بازگشتی برشمردنی RE نامیده می شود. تعاریف: سه تعریف برابر و اصلی برای مفهوم زبان...
-
موادامتحانی وضرایب رشته های دوره کارشناسی ارشد کامپیوتر
جمعه 12 خردادماه سال 1385 10:26
علوم کامپیوتر 1.زبان عمومی و تخصصی,2.دروس پایه (ریاضی1, 2,آمارو احتمال, مبانی کامپیوتر), 3. ریاضیات گسسته,4.ساختمان داده هاو الگوریتمها, 5. اصول سیستمهای کا مپیوتری, 6. نظریه اتوماتاو زبانها, 7. آنالیزعددی. ضرایب به ترتیب دروس: (2, 6, 3, 3, 3, 3, 3) ******** مجموعه مهندسی فناوری اطلاعات it 1. تجارت الکترونیکی 2....
-
زبان های بازگشتی
پنجشنبه 11 خردادماه سال 1385 16:32
در ریاضیات، منطق و علوم کامپوتر، زبان بازگشتی یک نوع زبان صوری است که همچنین بازگشتی، تصمیم پذیر یا تصمیم پذیر بازگشتی نامیده می شود.کلاس تمامی زبان های بازگشتی غالبا" R نامیده می شود، با اینکه این نام برای کلاس RP نیز استفاده می شود. این نوع از زبان به طور واضحی از سلسله مراتب چامسکی( Chomsky hierarchy ) جا مانده...
-
میان ترم گذشته
دوشنبه 8 خردادماه سال 1385 17:05
امتحان میان ترم گذشته نظریه زبانها در لینک زیر می باشد: http://finiteautomata.tripod.com/sitebuildercontent/sitebuilderfiles/lastmidterm.swf احمد بزرگی فرد
-
سوالات آزمون کارشناسی ارشد مهندسی کامپیوتر و علوم کامپیوتر
جمعه 5 خردادماه سال 1385 22:20
برای دریافت نسخه اصلی سوالات کارشناسی ارشد از لینک زیر استفاده کنید http://finiteautomata.tripod.com/sitebuildercontent/sitebuilderfiles/kaeshenasiearshad.pdf
-
سوالات آزمون کارشناسی ارشد مهندسی کامپیوتر و علوم کامپیوتر
جمعه 5 خردادماه سال 1385 22:18
آزمون کاشناسی ارشد سال 1384 1 - اگر ۱ , L ۲ L زبانهایی نامنظم روی الفبای ∑ باشند آنگاه: 1) ۲ . L ۱ L لزوماً نامنظم است. 2) ) ۲ L - * ∑ U ( ۱ L لزوماً نامنظم است. 3) ۲ U L ۱ L لزوماً نامنظم است. 4) ) ۱ L - * ∑ ( و ) ۲ L - * ∑ ( لزوماً نامنظم است. 2 - یک DFA برای زبان منظم ) a * ) * { λ } L = (a * (b U عبارت است از: 3...
-
زبان های صوری
جمعه 5 خردادماه سال 1385 21:06
در ریاضیات، منطق و علوم کامپوتر، زبان صوری یک مجموعه از کلمات (رشته های کاراکتری) با طول متناهی است که از برخی الفباهای متناهی مشتق می گردد، و نظریه علمی که مرتبط با این مفاهیم است به عنوان نظریه زبان صوری شناخته می شود. یک الفبا ممکن است {a,b} ،و رشته بر روی آن ababba باشد.یک زبان نمونه بر روی این الفبا، که دارای...
-
چند کوییز از دانشگاه های مختلف
پنجشنبه 4 خردادماه سال 1385 10:24
http://ccwf.cc.utexas.edu/~bhatt/341/quiz.pdf http://ccwf.cc.utexas.edu/~bhatt/341/q8.pdf http://wiggins.eecs.uic.edu/cs301/quizzes http://www.people.umass.edu/partee/409/Quiz%203%20Review.pdf http://www.people.umass.edu/partee/409/Preview%20for%20Quiz%20II.pdf...
-
ebook
سهشنبه 2 خردادماه سال 1385 11:37
نام کتاب: Passively Learning Finite Automata نویسنده: Kevin P. Murphy حجم دانلود:386KB لینک: http://finiteautomata.tripod.com/sitebuildercontent/sitebuilderfiles/passively_learning_finite_automata.pdf
-
تمرین ۱
شنبه 19 فروردینماه سال 1385 20:52
چهار تمرین مشخص شد: 1) سوالات درس نظریه زبان در آزمون کارشناسی ارشد سال 84 مهندسی کامپیوتر به همراه پاسخ تستی و تشریحی 2) سوالات درس نظریه زبان در آزمون کارشناسی ارشد سال 84 علوم کامپیوتر به همراه پاسخ تستی و تشریحی 3) سوالات کوییز شماره 1 به همراه پاسخ 4) سوالات کوییز شماره 1 به همراه پاسخ (ترجمه به فارسی) متقاضیان...
-
حرف اول
یکشنبه 28 اسفندماه سال 1384 11:52
با عرض سلام خدمت همه دوستان این وبلاگ به پیشنهاد آقای دکتر شیر علی شهرضا ایجاد شده است و مختص دانشجویان مهندسی کامپیوتر دانشگاه شاهد است. از تمام دانشجویان محترم که درس نظریه زبانها و ماشینها را اخذ کرده اند درخواست می شود برای عضویت در وبلاگ ، نام و آی دی خود را در قسمت نظرات همین پیام قرار دهند. پس از اینکه دعوتنامه...