eg_turing_machines_tm.kra 46 KB