A formalization of multi-tape Turing machines.

Andrea Asperti Wilmer Ricciotti

Published in: Theor. Comput. Sci. (2015)

Keyphrases

turing machine
knowledge representation
high speed
image processing
case study
genetic algorithm
feature selection
database systems
multiscale
multi agent
information technology
formal model