关于具有严格局部可测试选择语言的上下文文法的生成能力
摘要：上下文语法生成能力研究的延续，其中上下文被附加到整个单词（外部）或子单词（内部），这些单词属于特殊的正则选择语言。所有上下文语法生成的语言，其中所有选择语言都是某个次正则语言家族的元素，再次形成一个语言家族。我们研究了具有严格本地可测试的选择语言的上下文语法，并将这些家族与基于有限、幺正、幂零、组合、明确、后缀闭合、有序、可交换、环形、非计数、功率分离或无并集的语言的家族进行了比较。
作者：J"urgen Dassow (Fakult"at f"ur Informatik, Otto-von-Guericke-Universit"at Magdeburg), Bianca Truthe (Institut f"ur Informatik, Universit"at Giessen)
论文ID：2208.14725
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-09-01