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