Синтез детерминированного <$E SIGMA>-автомата, специфицированного в языке LP, состоит в последовательном выполнении двух процедур. Первая строит автомат, имеющий подавтомат, совпадающий со специфицированным автоматом, а вторая удаляет состояния, не принадлежащие этому подавтомату. Такие состояния называются фиктивными. Рассмотрен способ определения фиктивных состояний. Полученные результаты позволяют соответствующий процесс свести к нахождению так называемых основных циклов в автомате и, в конечном счете, к проверке принадлежности периодического обратного сверхслова некоторому -<$E omega>-регулярному множеству.Синтез детерминированного <$E SIGMA>-автомата, специфицированного в языке LP, состоит в последовательном выполнении двух процедур. Первая строит автомат, имеющий подавтомат, совпадающий со специфицированным автоматом, а вторая удаляет состояния, не принадлежащие этому подавтомату. Такие состояния называются фиктивными. Рассмотрен способ определения фиктивных состояний. Полученные результаты позволяют соответствующий процесс свести к нахождению так называемых основных циклов в автомате и, в конечном счете, к проверке принадлежности периодического обратного сверхслова некоторому -<$E omega>-регулярному множеству.

  Повний текст PDF - 134.292 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"