There are many open questions surrounding the characterisation of groups with context-sensitive word problem. Only in 2018 was it shown that all finitely generated virtually Abelian groups have multiple context-free word problems, and it is a long-standing open question as to where to place the word problems of hyperbolic groups in the formal language hierarchy. In this paper, we introduce a new language class called the parallel hyperedge replacement string languages, show that it contains all multiple context-free and ET0L languages, and lay down the foundations for future work that may be able to place the word problems of many hyperbolic groups in this class.
翻译:围绕具有上下文敏感字词问题的群体的特征存在许多开放问题。 直到2018年才发现,所有有限产生的几乎是阿别良族的团体都存在多种无上下文字的问题,而且这是一个长期存在的未决问题,即如何将双曲族团体的字问题置于正式语言等级体系中。 在本文中,我们引入了一个新的语言类,名为平行高端替换字符串语言,显示它包含所有多种无上下文和ET0L语言,并为未来工作打下基础,从而可能将许多双曲族团体的字问题置于这一类别中。