Turing machine library