Cover Image

Определение фиктивных состояний в Σ-автомате, синтезированном по спецификации в языке LP

Синтез детерминированного Σ-автомата, специфицированного в языке LP, состоит в последовательном выполнении двух процедур. Первая строит автомат, имеющий подавтомат, совпадающий со специфицированным автоматом, а вторая удаляет состояния, не принадлежащие этому подавтомату. Такие состояния называются...

Full description

Saved in:
Bibliographic Details
Published in:Кибернетика и системный анализ
Date:2019
Main Author: Чеботарев, А.Н.
Format: Article
Language:Russian
Published: Інститут кібернетики ім. В.М. Глушкова НАН України 2019
Subjects:
Кібернетика
Online Access:https://nasplib.isofts.kiev.ua/handle/123456789/181029
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:Определение фиктивных состояний в Σ-автомате, синтезированном по спецификации в языке LP / А.Н. Чеботарев // Кибернетика и системный анализ. — 2019. — Т. 55, № 5. — С. 47-57. — Бібліогр.: 7 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Similar Items

Similar Items