Work

Parallel Hyperedge Replacement String Languages

Year: 2021

Type: article

Abstract: 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.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.334.4

Author: Graham Campbell

Institution: Newcastle University

Language: English

Topic: semigroups and automata theory

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

Funder: Engineering and Physical Sciences Research Council

Award: Groups, Graphs, Languages, and Rewriting