Parallel Hyperedge Replacement Grammars [article]

Graham Campbell
<span title="2021-01-07">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
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
more &raquo; ... llows 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.
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2101.02310v1">arXiv:2101.02310v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qivtxhs2eje5vclhhnq2iohfji">fatcat:qivtxhs2eje5vclhhnq2iohfji</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210115052119/https://arxiv.org/pdf/2101.02310v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/73/5b/735bfaf02beff38b0ceec47c05474d8c634902ef.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2101.02310v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>