İçindekiler:
1. Sonlu Durumlu Makinalar
1.1. Tanım ve modeller (Mealy ve Moore Modelleri)
1.2. Algoritmik Durum Modeli ile ardısıl sistem tasarımı
1.3. Durum esdegerliligi, durum uyusması ve durum indirgemesi
2. Biçimsel Dillerin Matematiksel Temelleri
2.1. Kümeleri tümevarım ile tanımlama...