Turing Completeness of Finite, Epistemic Programs.

Dominik Klein Rasmus K. Rendsvig

Published in: CoRR (2017)

Keyphrases

turing machine
equational theories
finite number
unit length
machine intelligence
neural network
data mining
search engine
website
intermediate level
automatic programming
machine learning
artificial intelligence
social networks
case study
function symbols