Для цитирования:

Кузьмин Е.В., Чалый Д.Ю. О разрешимости проблем ограниченности для счетчиковых машин Минского. Моделирование и анализ информационных систем. 2008;15(1):16-26.

For citation:

Kuzmin E.V., Chalyy D.Yu. On the decidability of boundedness problems for counter Minsky machines. Modeling and Analysis of Information Systems. 2008;15(1):16-26. (In Russ.)