|
Моделирование и анализ информационных систем, 2010, том 17, номер 1, страницы 52–64
(Mi mais14)
|
|
|
|
О множестве достижимости автоматных счетчиковых машин
Е. В. Кузьмин, Д. Ю. Чалый Ярославский государственный университет им. П. Г. Демидова
Аннотация:
Исследуются свойства автоматных счетчиковых машин. Доказывается, что множество достижимых состояний любой автоматной односчетчиковой машины является полулинейным множеством. Приводится алгоритм построения этого множества. Кроме того, показывается, что множество достижимости любой автоматной счетчиковой машины с ограничением на количество перемен направлений роста/убывания значений счетчиков и множество достижимости любой плоской автоматной счетчиковой машины также полулинейны.
Ключевые слова:
абстрактные счетчиковые машины, автоматные счетчиковые машины, взаимодействующие раскрашивающие автоматы, множества достижимости, полулинейные множества.
Поступила в редакцию: 15.12.2009
Образец цитирования:
Е. В. Кузьмин, Д. Ю. Чалый, “О множестве достижимости автоматных счетчиковых машин”, Модел. и анализ информ. систем, 17:1 (2010), 52–64
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mais14 https://www.mathnet.ru/rus/mais/v17/i1/p52
|
Статистика просмотров: |
Страница аннотации: | 276 | PDF полного текста: | 124 | Список литературы: | 65 |
|