Аннотация. Приведены методы синтеза ∑-автоматов по спецификации в языке LP с детерминированной семантикой и в языке LF с недетерминированной семантикой. В основе этих методов лежит эквивалентное преобразование формулы вида ∀t F (t ) в так называемую нормальную форму, структура которой соответствует графу переходов специфицированного ∑-автомата.

Ключевые слова: ∑-автомат, LP-формула, LF-формула, автоматная семантика, нормальная форма, ортогонализация .