正规的:Haskell中有限自动机和正规语言的正则表达式 源码
常规(WIP) 用于在Haskell中表示常规语言(确定性有限自动机,非确定性有限自动机,正则表达式等)的类型安全形式主义。 例子 这是Dizz FizzBuzz的一个小示例: -- A DFA which accepts numbers (as a string of digits) only when -- they are evenly divisible by 5. by5 ∷ DFA Bool Fin 10 by5 = DFA δ q0 f where -- Theorem: A number is divisible by 5 iff its last digi
文件列表
regular-master.zip
(预估有个28文件)
regular-master
.gitignore
238B
app
Main.hs
644B
regular.cabal
4KB
src
ERE.hs
6KB
DA.hs
7KB
EFA.hs
13KB
FA.hs
8KB
暂无评论