先行自动机与语言
摘要：运算符优先文法定义了一个经典的布尔和确定性上下文无关语言家族（称为Floyd语言或FLs）。已经证明FLs严格包含着众所周知的可见推导语言，并且具有相同的好的闭合性质。我们在这里介绍了Floyd自动机，这是一种等价的操作形式，用于定义FLs。这也可以扩展到处理无限字符串的类，以执行模型检查。
作者：Violetta Lonati and Dino Mandrioli and Matteo Pradella
论文ID：1012.2321
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2011-12-01