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

常规(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 10 by5 = DFA δ q0 f where -- Theorem: A number is divisible by 5 iff its last digi