W podręczniku przedstawiono klasyczne zagadnienia teorii języków formalnych i automatów oraz teorii złożoności obliczeniowej. Materiał teoretyczny wzbogacono zadaniami o różnym stopniu trudności. Podano również rozwiązania wybranych zadań.