DOI10.1007/978-3-030-23247-4_9zbMath1434.68245MaRDI QIDQ2179332
Henning Fernau, Martin Vu
Publication date: 12 May 2020
Full work available at URL: https://doi.org/10.1007/978-3-030-23247-4_9
zbMATH Keywords
tree automata; regulated rewriting; graph control; yield operation
Mathematics Subject Classification ID
68Q45: Formal languages and automata
68Q42: Grammars and rewriting systems