Синтез автомата, специфицированного в языке L*, путем перехода к спецификации в языке L

Abstract

Рассматривается метод синтеза конечного автомата, специфицированного в логическом языке L*. Метод основан на трансляции спецификации в язык L и синтезе автомата по спецификации в этом языке.Розглядається метод синтезу скінченного автомата, специфікованого логічною мовою L*. Метод базується на трансляції специфікації у мову L і синтезі автомата за специфікацією у цій мові.A method for synthesizing an FSM specified in the logical language L* is considered. The method is based on translating the specification into the language L and synthesizing an FSM from the specification in this language.