turing machine:基于Charles Petzold的“带注释的图灵”在Haskell中对图灵机进行仿真 源码

图灵机 在Haskell中对图灵机的仿真,基于查尔斯·彼得佐德(Charles Petzold)的《带注释的图灵》 介绍 内容 该代码具有许多构建基块,您可以使用它们来研究Haskell中的Turing机器。 文件main.hs包含可用内容的良好摘要。 这是输出示例: ghci> main TATp81 m-config table: m-configs over [" ","0","1"] b -> ' ' -> [P "0",R] -> c c -> ' ' -> [R] -> e e -> ' ' -> [P "1",R] -> f f -> ' ' -> [R] -> b TATp81 standard form: "q1S0S1Rq2;q2S0S0Rq3;q3S0S2Rq4;q4S0S0Rq1;" TATp