"Основные понятия и методы теории формальных систем: Методические указания к изучению курса ''Дискретная математика'' и решению задач" - читать интересную книгу автора (Волохович А.В.)