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

Ключевые слова: язык спецификации L *, ∃-формула, обратное сверхслово, элиминация кванторов, синтез автомата, фиктивный состояние.