Maximilian Wuttke: Bachelor's Thesis

Saarland University Computer Science

Formalizing Turing Machines

This site is still under construction

Advisor: Yannick Forster

Abstract:

We formalize Multi Tape Turing Machines in Coq.

Our formalization is similar to the formalization of Asperti.

References:

Downloads

N/A


Maximilian Wuttke, Sun Jul 23 00:15:01 2017