Little Turing Machine implementation using the K Framework 4, for the course of Languages 2017/2018 at University of Verona
I used K Framework version 4 for this project.
First compile the file mdt.k
by running kompile mdt.k
, then you can use krun
on one of the examples.
NOTE: Given that krun
's output is pretty ugly, I've created a Python wrapper for this specific project, which pretty-print everything. Just run python3 krun.py [EXAMPLE].mdt
.