Е. В. Кузьмин, Д. Ю. Чалый, “О множестве достижимости автоматных трехсчетчиковых машин”, Модел. и анализ информ. систем, 2009, том 16, номер 3,страницы 77

Эта публикация цитируется в 1 статье

О множестве достижимости автоматных трехсчетчиковых машин

Е. В. Кузьмин, Д. Ю. Чалый

Ярославский государственный университет им. П. Г. Демидова

Аннотация: Доказывается, что существуют абстрактные счетчиковые машины, принадлежащие классу автоматных трехсчетчиковых машин, множество достижимости которых не является полулинейным.

Ключевые слова: абстрактные счетчиковые машины, автоматные счетчиковые машины, взаимодействующие раскрашивающие автоматы, множества достижимости, полулинейные множества.

УДК: 519.7

Поступила в редакцию: 28.06.2009