正则字符串集和树的领域专用语言

摘要

我们提出了一种新的高级编程符号，称为FIDO设计用于简洁地表示字符串或树的规则集。特别是，它可以被视为有限状态自动机在大字母表上的表达天文尺寸）。

FIDO公司基于数学逻辑和编程的结合语言概念。这种组合与通常的组合没有相似之处逻辑编程语言。FIDO编译为有限状态字符串或者树自动机，所以没有运行时的概念。已经有了应用于各种相当复杂的问题实际兴趣。

在本文中，我们激发了对FIDO等语言的需求，并讨论我们的设计及其实现。

我们展示了递归数据类型、统一、隐式强制和分型可以与谓词逻辑的变体合并，调用了一元二阶逻辑（M2L）在树上。FIDO首先通过适当的编码转换为纯M2L，最后进入之内通过MONA工具的有限状态自动机。