On the Generic Undecidability of the Halting Problem for Normalized Turing Machines.

Alexander N. Rybalov

Published in: Theory Comput. Syst. (2017)

Keyphrases

turing machine
description logics
domain specific
high level
databases
neural network
similarity measure
data mining
website
reinforcement learning
computational complexity
application specific
probabilistic planning