Reachability for infinite time Turing machines with long tapes.

Merlin Carl Benjamin G. Rin Philipp Schlicht

Published in: Log. Methods Comput. Sci. (2020)

Keyphrases

turing machine
state space
transitive closure
machine learning
information systems
high quality
neural network
decision making
cooperative
computational complexity