web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0001018662
Cybernetics and Systems Analysis   А - 2019 /  Issue (2019, Т. 55, № 5)
Чеботарев А. Н.
Определение фиктивных состояний в Σ-автомате, синтезированном по спецификации в языке LP Синтез детерминированного <$E SIGMA>-автомата, специфицированного в языке LP, состоит в последовательном выполнении двух процедур. Первая строит автомат, имеющий подавтомат, совпадающий со специфицированным автоматом, а вторая удаляет состояния, не принадлежащие этому подавтомату. Такие состояния называются фиктивными. Рассмотрен способ определения фиктивных состояний. Полученные результаты позволяют соответствующий процесс свести к нахождению так называемых основных циклов в автомате и, в конечном счете, к проверке принадлежности периодического обратного сверхслова некоторому -<$E omega>-регулярному множеству.
 https://doi.org/10.1007/s10559-019-00184-x
 Scopus
Бібліографічний опис:
Чеботарев А. Н. Определение фиктивных состояний в Σ-автомате, синтезированном по спецификации в языке LP. Кибернетика и системный анализ. 2019. Т. 55, № 5. С. 47-57. doi: https://doi.org/10.1007/s10559-019-00184-x URL: http://jnas.nbuv.gov.ua/article/UJRN-0001018662 |
 Cybernetics and Systems Analysis / Issue (2019, 55 (5))
Chebotarev A.N.
Detecting fictitious states in a Σ-automaton synthesized from the specification in the language LP Synthesizing a deterministic Σ-automaton specified in the language LP consists in sequentially executing two procedures. The first constructs an automaton with a subautomaton identical to the automaton specified, and the other eliminates the states that do not belong to this subautomaton. Such states are called fictitious. A method for detecting fictitious states is considered. The obtained results allow to reduce the detection of fictitious states to finding the so-called basic cycles and eventually to checking the membership of a periodic left-infinite word in some –ω-regular set. © 2019, Springer Science+Business Media, LLC, part of Springer Nature. Keywords: basic cycle, fictitious state, initial strongly connected subautomaton, normal form, Σ-automaton, –ω-regular set, Cybernetics, basic cycle, fictitious state, Infinite word, Normal form, Strongly connected, Computer science
Cite:
Chebotarev A.N.
(2019). Detecting fictitious states in a Σ-automaton synthesized from the specification in the language LP. Cybernetics and Systems Analysis, 55 (5), 47-57. doi: https://doi.org/10.1007/s10559-019-00184-x http://jnas.nbuv.gov.ua/article/UJRN-0001018662 [In Russian]. |
PDF