A Verified Translation of Multitape Turing Machines into Singletape Turing Machines.

Christian Dalvit René Thiemann

Published in: Arch. Formal Proofs (2022)

Keyphrases

turing machine
machine translation
neural network
website
query translation
data sets
databases
data mining
knowledge base
image processing
three dimensional
objective function
data structure
special case
translation model