Аннотация:
Обсуждаются алгоритмы, которые могут быть применены для решения задачи ограниченности счетчиковых машин Минского. Предлагается полиномиальный алгоритм для решения проблемы ограниченности односчетчиковых машин Минского, использующий объем памяти, соизмеримый с объемом, необходимым для представления самой машины.
Ключевые слова:счетчиковые машины Минского, проблема ограниченности, алгоритмы поиска цикла в периодической последовательности, верификация моделей.
Полный текст:
PDF файл (361 kB)