code related to turing machines and theory of computation.