Dauchet, M., Simulation of Turing machines by a regular rewrite rule, Theoretical Computer. Science 103 (1992) 409-420. We prove that for any Turing machine ...
確定! 回上一頁