В книге рассматриваются методы синтеза конечных асинхронных автоматов, устойчивых к состязаниям и отказам внутренних элементов. Эти методы становятся все актуальнее в связи с увеличением сложности дискретных систем управления. Описываются способы упрощения логического преобразователя за счет оптимального кодирования состояний. Рассматриваются способы задания условий работы автомата, в т.ч. язык графов. Предлагаются оригинальные методы перехода от графов (матриц) к структурным уравнениям. Монография рассчитана на лиц не знакомых с теорией конечных конечных автоматов, поэтому излагаемый материал сопровождается большим количеством примеров.