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