Maximilian Wuttke: Bachelor's Thesis
Formalizing Turing Machines
This site is still under construction
Advisor: Yannick Forster
We formalize Multi Tape Turing Machines in Coq.
Our formalization is similar to the formalization of Asperti.
A Formalization of Multi-tape Turing Machines
A. Asperti, W. Ricciotti
Sun Jul 23 00:15:01 2017