Linear weighted tree automata with storage and inverse linear tree homomorphisms

Publikation: Beitrag in FachzeitschriftForschungsartikelBeigetragenBegutachtung

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

OriginalspracheEnglisch
Aufsatznummer104816
FachzeitschriftInformation and Computation
Jahrgang281
PublikationsstatusVeröffentlicht - Dez. 2021
Peer-Review-StatusJa

Externe IDs

Scopus 85119308105

Schlagworte

Schlagwörter

  • Inverse linear tree homomorphisms, Linear pushdown tree automata, Linear weighted tree automata with storage