佩雷拉，K.K.K.R。；吉弘美口 为自动机和标签系统实现Haskell模块。 （英语） Zbl 1207.68198号 数学与工业杂志。 1，编号A，51-56（2009）. 摘要：我们使用Haskell语言实现了自动机理论中出现的操作。利用Haskell中惰性求值函数的优点，我们可以将包含无限元素的语言集表示为具体的函数符号，如数学符号。我们的模块不仅可以用于分析自动机及其应用系统的属性，还可以用于自学材料或教程，以学习自动机、语法和语言理论。我们还实现了标签系统的模块。吉普恩和G.罗森伯格在[Theor.Comput.Sci.204，No.1-2183-203（1998；Zbl 0908.68058号)]. 我们修改了他们的定义，并改进了他们的不足结果。使用我们的模块函数，我们可以很容易地定义有限自动机和线性文法，并构造与有限自动机及线性文法具有相同功能的贴纸系统。 MSC公司： 65年第68季度 形式语言和自动机 2012年第68季度 语法和重写系统 关键词：自动机理论；标签系统；Haskell模块；有限自动机；线性文法 引文：兹比尔0908.68058 软件：哈斯克尔 PDF格式BibTeX公司 XML格式引用 \textit{K.K.R.Perera}和\textit{Y.Mizoguchi}，J.Math-for-Ind.1，No.A，51-56（2009；Zbl 1207.68198） 全文： 链接