Principal Abstract Families of Weighted Tree Languages
2020
Abstract We introduce semiring-weighted regular tree grammars with storage where the semiring is complete. We show that the class of weighted tree languages generated by them is a principal abstract family of weighted tree languages provided that the semiring is commutative, the rank of symbols occurring in trees is bounded by a global parameter, and that the storage is finitely encoded and contains a reset instruction. Moreover, we prove the same statement for the iterated pushdown (instead of finitely encoded storage containing a reset instruction).
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
62
References
1
Citations
NaN
KQI