We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.FL

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Formal Languages and Automata Theory

Title: Parallel Hyperedge Replacement Grammars

Abstract: In 2018, it was shown that all finitely generated virtually Abelian groups have multiple context-free word problems, and it is still an open problem as to where to precisely place the word problems of hyperbolic groups in the formal language hierarchy. Motivated by this, we introduce a new language class, the parallel hyperedge replacement string languages, containing all multiple context-free and ET0L languages. We show that parallel hyperedge replacement grammars can be "synchronised", which allows us to establish many useful formal language closure results relating to both the hypergraph and string languages generated by various families of parallel hyperedge replacement grammars, laying the foundations for future work in this area.
Comments: 40 pages, 2021
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
ACM classes: F.4.2; F.4.3
Cite as: arXiv:2101.02310 [cs.FL]
  (or arXiv:2101.02310v1 [cs.FL] for this version)

Submission history

From: Graham Campbell [view email]
[v1] Thu, 7 Jan 2021 00:24:35 GMT (47kb)

Link back to: arXiv, form interface, contact.