Turing machine program files