В книге рассматриваются методы синтеза конечных асинхронных автоматов, устойчивых к состязаниям и отказам внутренних элементов. Эти методы становятся все актуальнее в связи с увеличением сложности дискретных систем управления. Описываются способы упрощения логического преобразователя за счет оптимального кодирования состояний. Достоинством книги является ее практическая направленность; большинство излагаемых методов иллюстрируется хорошо подобранными примерами. Книга предназначена для разработчиков управляющих устройств и вычислительных машин; она может быть полезна студентам и аспирантам.