نظریه محاسبه نظریه ای برای بررس ماشین ها و عملکردشان به صورت انتزاعی است. در واقع با بررسی مدل هایی، در تلاش برای بررسی ”توان“ ابزارهای محاسباتی هستیم. ما در این درس از ماشین های ساده شروع می کنیم و کم کم آنها را قوی تر می کنیم تا به قویترین ابزار محاسبات که کامپیوترهای امروزی هستند برسیم.
آموزش گام به گام
فایل های سرفصل 1
1 معرفی درس و مبانی درس
(رایگان)
حجم فایل:275 مگابایت و 40 کیلوبایتمدت زمان:52 دقيقه و 3 ثانيه
2 معرفی DFS
(رایگان)
حجم فایل:503 مگابایت و 180 کیلوبایتمدت زمان:1 ساعت و 29 دقيقه
3 خواص بستاری DFA و معرفی NFA
(رایگان)
حجم فایل:535 مگابایت و 350 کیلوبایتمدت زمان:1 ساعت و 37 دقيقه
4 عبارت های منظم و قضیه کلینی
(رایگان)
حجم فایل:204 مگابایت و 700 کیلوبایتمدت زمان:1 ساعت و 19 دقيقه
5 معادل بودن عبارت های منظم و زبان های منظمقضیه کلینی
(رایگان)
حجم فایل:423 مگابایت و 390 کیلوبایتمدت زمان:1 ساعت و 19 دقيقه
6 لم پمپاژ برای زبان های منظم
(رایگان)
حجم فایل:170 مگابایت و 490 کیلوبایتمدت زمان:1 ساعت و 5 دقيقه
7 مینیمم سازی DFA
(رایگان)
حجم فایل:349 مگابایت و 330 کیلوبایتمدت زمان:1 ساعت و 9 دقيقه
8 قضیه و رابطه ی مای هیل نرود
(رایگان)
حجم فایل:436 مگابایت و 440 کیلوبایتمدت زمان:1 ساعت و 18 دقيقه
9 زبان های مستقل از متن CFL
(رایگان)
حجم فایل:228 مگابایت و 760 کیلوبایتمدت زمان:1 ساعت و 28 دقيقه
10 صورت نرمال چامسکی و لم پمپاژ
(رایگان)
حجم فایل:253 مگابایت و 710 کیلوبایتمدت زمان:1 ساعت و 38 دقيقه
11 معادل بودن CFG و NPDA
(رایگان)
حجم فایل:197 مگابایت و 990 کیلوبایتمدت زمان:1 ساعت و 16 دقيقه
12 معرفی Pushdown Automata
(رایگان)
حجم فایل:179 مگابایت و 860 کیلوبایتمدت زمان:1 ساعت و 10 دقيقه
13 معادل بودن CFG و NPDA ادامه ، سلسله مراتب چامسکی
(رایگان)
حجم فایل:198 مگابایت و 530 کیلوبایتمدت زمان:1 ساعت و 16 دقيقه
دیدگاه خود را از طریق فرم زیر ارسال نمایید