Mechanising Turing Machines and Computability Theory in Isabelle/HOL.

Jian Xu Xingyuan Zhang Christian Urban

Published in: ITP (2013)

Keyphrases

turing machine
theorem prover
natural deduction
formal methods
image processing
theoretical basis
neural network
case study
theoretical framework
computational models
theorem proving
general theory