در جلد دوم، زبان‌ها و ماشین‌های متناهی‌الحالت، رابطه‌ها، گراف‌ها، توابع مولد و افرازهای اعداد صحیح، اصل شمول و طرد، و روابط بازگشتی مورد بحث قرار می‌گیرد