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