可实现的和无上下文限制的超语言。
摘要：超属性将传统的基于迹的语言从一组执行轨迹提升到一组执行的集合。 从形式语言的角度来看，这些是一组词的集合，即超语言。 超自动机基于经典自动机模型，可以处理超语言。 已经提出了有限超自动机（NFH）来表达正则超属性。 我们研究了正则超语言的可实现性问题：给定一组语言，是否可以通过NFH精确描述它？ 我们证明了即使对于单例超语言，该问题也是复杂的。 然后，我们超越了正则超语言，研究了上下文无关超语言。 我们证明了对上下文无关超文法的自然扩展是高度不可解的。 然后，我们提出了一种改进的模型，即同步超文法，它可以描述有趣的非正则超属性，同时保留上下文无关文法的许多可判定属性。
作者：Hadar Frenkel (CISPA Helmholtz Center for Information Security, Saarbr"ucken, Germany), Sarai Sheinvald (Department of Software Engineering, Braude College of Engineering, Karmiel, Israel)
论文ID：2209.10306
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-09-22