Weighted Regular Tree Grammars with Storage
We introduce weighted regular tree grammars with storage as combination of (a) regular tree grammars with storage and (b) weighted tree automata over multioperator monoids. Each weighted regular tree grammar with storage generates a weighted tree language, which is a mapping from the set of trees to...
Main Authors: | Zoltán Fülöp, Luisa Herrmann, Heiko Vogler |
---|---|
Format: | Article |
Language: | English |
Published: |
Discrete Mathematics & Theoretical Computer Science
2018-07-01
|
Series: | Discrete Mathematics & Theoretical Computer Science |
Subjects: | |
Online Access: | https://dmtcs.episciences.org/3664/pdf |
Similar Items
-
Piecewise testable tree languages
by: Mikołaj Bojańczyk, et al.
Published: (2012-09-01) -
A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
by: Gustav Grabolle
Published: (2023-12-01) -
Sampled Semantics of Timed Automata
by: Pavel Krcal, et al.
Published: (2010-09-01) -
Two Variable vs. Linear Temporal Logic in Model Checking and Games
by: Michael Benedikt, et al.
Published: (2013-05-01) -
On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases
by: Bernard Boigelot, et al.
Published: (2010-02-01)