MDT. Little Turing Machine implementation using the K Framework 4, for the course of Languages 2017/2018 at University of Verona