Def Turing.TM2to1.trInit

Modification history