Регистровые машины со счётчиками и невычислимые функциитезисы доклада Тезисы