"Основы синтеза и диагностирования автоматов: Учебное пособие" - читать интересную книгу автора (Воронин В.В.)