正规的：Haskell中有限自动机和正规语言的正则表达式

【文件属性】：

文件名称：正规的：Haskell中有限自动机和正规语言的正则表达式

文件大小：98KB

文件格式：ZIP

更新时间：2024-03-09 13:27:56

haskell regexp regular-expression regular-expressions finite-state-automata

常规（WIP） 用于在Haskell中表示常规语言（确定性有限自动机，非确定性有限自动机，正则表达式等）的类型安全形式主义。 例子 这是Dizz FizzBu​​zz的一个小示例： -- A DFA which accepts numbers (as a string of digits) only when -- they are evenly divisible by 5. by5 ∷ DFA Bool Fin ₁₀ by5 = DFA δ q₀ f where -- Theorem: A number is divisible by 5 iff its last digit is 0 or 5. δ ∷ ( Bool , Fin ₁₀) → Bool δ (_, 0 ) = True δ (_, 5 ) = True δ _

【文件预览】：
regular-master
----.gitignore(238B)
----app()
--------Main.hs(644B)
----regular.cabal(4KB)
----src()
--------ERE.hs(6KB)
--------DA.hs(7KB)
--------EFA.hs(13KB)
--------FA.hs(8KB)
--------NA.hs(1KB)
--------NatBase.hs(4KB)
--------PA.hs(1016B)
--------TransitionGraph.hs(1KB)
--------IntBase.hs(9KB)
--------NFA.hs(13KB)
--------RegExp.hs(23KB)
--------Config.hs(9KB)
--------Language.hs(5KB)
--------Impossible.hs(1KB)
--------Common.hs(51KB)
--------GNFA.hs(5KB)
--------Finite.hs(114KB)
--------DFA.hs(24KB)
--------Examples.hs(21KB)
----LICENSE(1KB)
----.ghci(339B)
----hie.yaml(17B)
----README.md(4KB)
----test()
--------Spec.hs(28KB)
----stack.yaml(477B)