Verifying whether one-tape Turing machines run in linear time.

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

Keyphrases

turing machine
worst case
high speed
learning algorithm
artificial intelligence
model checking
neural network
computer vision
image segmentation
natural language
data streams
magnetic tape