scientific article; zbMATH DE number 7644294
From MaRDI portal
Publication:5871579
Publication date: 23 January 2023
Full work available at URL: http://www.jalc.de/issues/2022/issue_27_4/jalc-2022-271-307.php
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
semiringstrong bimonoidweighted tree automatontree generating regular systemweighted tree generating regular system
Cites Work
- A Büchi-like theorem for weighted tree automata over multioperator monoids
- Weighted automata and multi-valued logics over arbitrary bounded lattices
- Handbook of weighted automata
- Weighted finite automata over strong bimonoids
- Weighted tree automata and weighted logics
- Determinization of weighted finite automata over strong bimonoids
- Weighted grammars and Kleene's theorem
- Recognizable formal power series on trees
- Equational elements in additive algebras
- A Kleene theorem for weighted tree automata
- Crisp-determinization of weighted tree automata over additively locally finite and past-finite monotonic strong bimonoids is decidable
- Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids
- A Kleene theorem for weighted tree automata over distributive multioperator monoids
- Fuzzy tree automata
- Weighted automata and weighted logics
- A Medvedev characterization of recognizable tree series
- Characterizing derivation trees of context-free grammars through a generalization of finite automata theory
- Generalized sequential machine maps
- Tree acceptors and some of their applications
- Local Weighted Tree Languages
- Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics
- Crisp-determinization of weighted tree automata over strong bimonoids
- Weighted Tree Automata and Tree Transducers
- Generalized finite automata theory with an application to a decision problem of second-order logic
- Tree generating regular systems
- Mappings and grammars on trees
- Automata, Languages and Programming
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
