| 1 |
استدلال استقرایی |
|
| 2 |
تعریف استقرایی |
|
| 3 |
زبان ها و مجموعه ها |
|
| 4 |
اتاماتای قعطی |
|
| 5 |
خواص اتاماتای قطعی |
|
| 6 |
لم پامپینگ |
|
| 7 |
کلاسهای هم ارزی |
|
| 8 |
اتاماتای غیر قطعی |
|
| 9 |
خواص اتاماتای غیرقطعی |
|
| 10 |
قضیه کلینی |
|
| 11 |
قضیه کلینی |
|
| 12 |
گرامرهای مستقل از متن |
|
| 13 |
گرامرهای منظم |
|
| 14 |
زبانهای مستقل از متن و خواص آنها |
|
| 15 |
گرامرهای مبهم و رفع ابهام |
|
| 16 |
مساله تصمیم پذیری عضویت در زبانهای مستقل از متن |
|
| 17 |
اتاماتای پشته ای قطعی |
|
| 18 |
اتاماتای پشته ای غیرقطعی |
|
| 19 |
زبان های مستقل از متن و اتاماتای پشته ای |
|
| 20 |
زبانهای مستقل از متن و اتاماتای پشته ای |
|
| 21 |
ماشین تورینگ |
|