"Синтез цифрового автомата: Методические указания" - читать интересную книгу автора (Захаров Н.Г., Рогов В.Н.)