جلسه اول - معرفی درس و مبانی درس

جلسه دوم - معرفی DFS

جلسه سوم - خواص بستاری DFA و معرفی NFA

جلسه دوازدهم - صورت نرمال چامسکی و لم پمپاژ

جلسه سیزدهم - معادل بودن CFG و NPDA

جلسه چهاردهم - معرفی Pushdown Automata

جلسه پانزدهم - معادل بودن CFG و NPDA (ادامه) ، سلسله مراتب چامسکی

Deterministic Pushdown Automaton (DPDA) 1 - جلسه شانزدهم

Deterministic Pushdown Automaton (DPDA) 2 - جلسه هفدهم

جلسه هجدهم - معرفی گرام های مستقل از متن

جلسه نوزدهم - معرفی گرامر DCFG(DK-Test) 1

جلسه بیست - گرامر LR(1) , LR(0) , DK-Test

جلسه بیست و یکم - ماشین های تورینگ(معرفی)

جلسه دوم - معرفی DFA

جلسه بیست و دوم - ماشین تورینگ ، چندنواره و معادل بودن

جلسه بیست و سوم - ماشین تورینگ نامعین

جلسه بیست و چهارم - تقسیم پذیری

جلسه بیست و پنجم - تقسیم ناپذیری(روش قطری سازی)

جلسه بیست و ششم - Reduction

جلسه بیست و هفتم - تقسیم ناپذیری(Linearly Bounded Automata)

جلسه بیست و هشتم - mapping reducibility

جلسه ششم - عبارت های منظم و قضیه کلینی

جلسه هفتم - معادل بودن عبارت های منظم و زبان های منظم(قضیه کلینی)

جلسه هشتم - لم پمپاژ برای زبان های منظم

جلسه نهم - مینیمم سازی DFA

جلسه دهم - قضیه و رابطه ی مای هیل- نرود

جلسه یازدهم - زبان های مستقل از متن (CFL)