Методы анализа и синтеза дискретных автоматов : Конспект лекций для спец. 0901А и 0902АСкурихин, Николай Анатольевич198342 с.