有限词超语言
摘要：超级语言：超级语言是计算模型和行为模型的核心。对于许多类别的语言，已经广泛研究了一系列丰富的模型。超级性质将传统的基于跟踪的语言从一组执行跟踪提升到一组执行集合。超级性质已被证明是一种表达和推理信息流安全策略以及重要的物理-网络系统属性的强大形式化工具。虽然存在大量关于形式语言表示跟踪性质的工作，但我们目前尚缺乏超级性质的普遍特征化。我们引入了超级语言以生成有限字和在其上表达超级性质的模型。基本上，这些模型通过对量化字变量的赋值来表达多个字。依赖于正则语言的标准模型，我们提出了超级正则表达式和有限字超级自动机（NFH）来建模正则超级语言类。我们展示了正则超级语言表达有限跟踪的超级性质的能力。我们探讨了NFH的各个片段的包括性、普遍性、成员关系和包含性等基本决策问题的闭包性和复杂性。
作者：Borzoo Bonakdarpour and Sarai Sheinvald
论文ID：2201.01670
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-01-06