Анотація. Наведено методи синтезу ∑-автоматів за специфікаціями у мові LP з детермінованою семантикою і у мові LF з недетермінованою семантикою. В основі цих методів лежить еквівалентне перетворення формули вигляду ∀t F (t ) в так звану нормальну форму, структура якої відповідає графу переходів специфікованого ∑-автомата.
Ключові слова: ∑-автомат, LP-формула, LF-формула, автоматна семантика, нормальна форма, ортогоналізація.
Чеботарев Анатолий Николаевич,
доктор техн. наук, ведущий научный сотрудник Института кибернетики им. В.М. Глушкова
НАН Украины, Киев,
e-mail: ancheb@gmail.com.