文件名称：turing-machine:基于Charles Petzold的“带注释的图灵”，在Haskell中对图灵机进行仿真
文件大小：25KB
文件格式：ZIP
更新时间：2024-04-19 18:46:04
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
【文件预览】：
turing-machine-master
----main.hs(2KB)
----LambdaCalc.hs(416B)
----cpp()
--------MACHINE.h(338B)
--------test.cpp(1KB)
--------U.h(4KB)
--------Lambda.h(3KB)
--------MCONFIG.h(2KB)
--------MFUNCTIONS.cpp(5KB)
--------main.cpp(369B)
--------Machines()
--------Makefile(249B)
--------MFUNCTIONS.h(566B)
--------MACHINE.cpp(725B)
--------TAPE.h(334B)
--------MCONFIG.cpp(998B)
--------TAPE.cpp(1KB)
----PropLog.hs(3KB)
----Turing()
--------Base.hs(5KB)
--------Machine()
--------MFuncLib.hs(5KB)
--------MConfig.hs(3KB)
--------MFunction.hs(1KB)
--------Machine.hs(1KB)
--------StdForm.hs(4KB)
----README.md(2KB)
----Machines()
--------TATp84.hs(214B)
--------TATp83.hs(331B)
--------DaviesT.hs(859B)
--------TATp150.hs(218B)
--------TATp81f.hs(539B)
--------TATp87.hs(919B)
--------TATp81.hs(348B)
--------U-DaviesT.hs(183B)
----.gitignore(14B)