Подробное описание документа
Б. А. Трахтенброт, Я. М. Барздинь
Конечные автоматы (поведение и синтез) / Б. А. Трахтенброт, Я. М. Барздинь ; ред. Б. Ю. Пильчак, ред. Н. А. Карпова. - Москва : Наука, 1970. -
