Undecidability of the speed positiveness problem in reversible and complete Turing machines

Rodrigo Torres-Avilés. Undecidability of the speed positiveness problem in reversible and complete Turing machines. J. Comput. Syst. Sci., 121:49-56, 2021. [doi]

Abstract

Abstract is missing.