add TuringMachine program