文件名称：turingMachine:图灵机和自动机的实现
文件大小：31KB
文件格式：ZIP
更新时间：2024-05-29 07:32:33
Haskell
图灵机型号 图灵机和语言理论自动机的实现 数学模型 有限自动机 有限状态机，无内存。 存在： 识别器 发电机 传感器 堆栈自动机 具有状态的堆栈存储机 图灵机 去做 有限自动机 三角洲 确定性 非确定性 提升三角洲 拉姆达 Lambda1 Lambda2 升降拉姆达 识别器 确定性定义 非确定性定义 查字 k可区分状态 可区分的状态 等效状态 等效识别器 非确定性到确定性，反之亦然 可辨认的识别器 可识别识别器 最小化识别器 消除歧义 语言习惯 换能器 摩尔 细微的 翻译 摩尔对米莉（Mealy）反之亦然 具有epsilon转换的识别器 定义 带有epsilon转换的Recognizer到没有epsilon转换的Recognizer 堆栈自动机 升幅 确定性堆栈自动机定义 非确定性堆栈自动机定义 非确定性到确定性堆栈
【文件预览】：
turingMachine-master
----.travis.yml(212B)
----turingMachine.cabal(3KB)
----SETUP.md(421B)
----test()
--------LabelTest.hs(618B)
--------SigmaTest.hs(891B)
--------FiniteTest.hs(5KB)
----LICENSE(34KB)
----.gitlab-ci.yml(947B)
----src()
--------Math()
--------Data()
----Setup.hs(46B)
----.gitignore(135B)
----.circleci()
--------config.yml(2KB)
----README.md(2KB)