Я изучал и изучал варианты проблемы остановки / принятия машины Тьюринга, и мне было интересно, есть ли проблема, определенная как:
{ | Mостанавливается на входе x не более чем за f (| x |) шагов, где | x |длина x, а f (| x |) - детерминированная функция | x |}