Проблема ограниченности для счетчиковых машин с потерями

Исследуется разрешимость проблемы ограниченности для счетчиковых машин Минского с потерями. Доказывается, что для машин Минского с тремя счетчиками проблема ограниченности неразрешима при любом отношении потери на множестве конфигураций машины. Вводится понятие однорегистровых машин с обнулениями, способных моделировать двухсчетчиковые машины с отношением обнуления. Доказывается, что проблема ограниченности для однорегистровых машин с обнулениями (а значит, и для двухсчетчиковых машин с обнулениями) является разрешимой.