| 1 | Sonlu Durum Makineleri, Tasarım, Non-determinizm |
| 2 | Kapanış özellikleri, Düzenli ifadeler, Sonlu Durum Makinelerinde Denklik |
| 3 | Pumping Lemma-yakınsama özellikleriyle bir dilin düzensizliği |
| 4 | Düzenli gramerler, FSM'lerin denkliği, Diğer FSM çeşitleri, FSM'lerin minimize edilmesi |
| 5 | Düzenli kümeler için karar algoritmaları |
| 6 | Bağlamdışı gramerler, Semantik ve Tümevarımsal Tasarımlar, Örnekler, Uygulamalar |
| 7 | Chomsky Normal Formu, uygulamalar |
| 8 | Ara sınav |
| 9 | Bastırmalı makinalar, CFG karşılıkları |
| 10 | Lemma pompalama ve içeriksiz serbest kümeler. |
| 11 | Kapanış özellikleri, DCFL’ler ve kararlı algoritmalar |
| 12 | Turing Makinesi, Tasarım |
| 13 | Varyasyonlar ve denklemler: Non-Determinizm, Çoklu bant |
| 14 | İç içe ve yinelemeli sayılabilir kümeler |
