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