麦克罗伊，M.道格拉斯 枚举常规语言的字符串。 （英语） Zbl 1104.68063号 J.功能。程序。 14，第5期，503-518（2004）. 摘要：Haskell代码是为两种列出正则表达式定义的语言字符串的方法而开发的：直接通过设置操作，间接通过转换和模拟等效的自动机。该练习说明了处理无限有序域的技术，并为非确定性有限自动机提供了一种有效的标准形式。 引用于1文件 MSC公司： 65年第68季度 形式语言和自动机 68甲15 编程语言理论 关键词：哈斯克尔码;不确定有限自动机 软件：哈斯克尔 PDF格式BibTeX公司 XML格式引用 \textit{M.D.McIlroy}，J.Funct（J·芬克特）。程序。14，第5号，503--518（2004；Zbl 1104.68063） 全文： 内政部