Linear weighted tree automata with storage and inverse linear tree homomorphisms
Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
Beitragende
Abstract
We introduce linear weighted tree automata with storage and show that this model generalizes linear pushdown tree automata. We prove that the class of weighted tree languages recognizable by our linear automaton model is closed under inverse linear tree homomorphisms.
Details
Originalsprache | Englisch |
---|---|
Aufsatznummer | 104816 |
Fachzeitschrift | Information and Computation |
Jahrgang | 281 |
Publikationsstatus | Veröffentlicht - Dez. 2021 |
Peer-Review-Status | Ja |
Externe IDs
Scopus | 85119308105 |
---|
Schlagworte
ASJC Scopus Sachgebiete
Schlagwörter
- Inverse linear tree homomorphisms, Linear pushdown tree automata, Linear weighted tree automata with storage