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

Rodrigo Torres-Avilés

Published in: J. Comput. Syst. Sci. (2021)

Keyphrases

turing machine
high speed
description logics
real time
markov chain
cellular automata
clustering algorithm
hidden markov models
processing speed