scientific article; zbMATH DE number 2040322

zbMath1089.68054MaRDI QIDQ4449537

Zoltán Ésik, Werner Kuich

Publication date: 11 February 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70)

Related Items (33)

Crisp-determinization of weighted tree automata over strong bimonoids ⋮ A note on cut-worthiness of recognizable tree series ⋮ Fuzzy tree automata ⋮ Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids ⋮ Definable transductions and weighted logics for texts ⋮ State hyperstructures of tree automata based on lattice-valued logic ⋮ Weighted tree automata and weighted logics ⋮ Weighted tree automata with constraints ⋮ Continuous monoids and semirings ⋮ Varieties of recognizable tree series over fields ⋮ A Comparison of Sets of Recognizable Weighted Tree Languages Over Specific Sets of Bounded Lattices ⋮ Learning Rational Stochastic Tree Languages ⋮ Schützenberger's theorem on formal power series follows from Kleene's theorem ⋮ Weighted monadic Datalog ⋮ A Büchi-like theorem for weighted tree automata over multioperator monoids ⋮ A coinductive calculus of binary trees ⋮ Multi-Linear Iterative K-Σ-Semialgebras ⋮ Hasse diagrams for classes of deterministic bottom-up tree-to-tree-series transformations ⋮ Cut sets as recognizable tree languages ⋮ A Kleene theorem for weighted tree automata over distributive multioperator monoids ⋮ Weighted tree automata with constraints ⋮ A Kleene theorem for weighted tree automata over tree valuation monoids ⋮ Finite sequentiality of unambiguous max-plus tree automata ⋮ Approximate minimization of weighted tree automata ⋮ Principal abstract families of weighted tree languages ⋮ Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics ⋮ Kleene Theorem in Partial Conway Theories with Applications ⋮ Equational Weighted Tree Transformations with Discounting ⋮ Algebraic Systems and Pushdown Automata ⋮ Survey: Weighted Extended Top-Down Tree Transducers Part III — Composition ⋮ Equational weighted tree transformations ⋮ A Mezei-Wright theorem for categorical algebras ⋮ Characterization of tree automata based on quantum logic

This page was built for publication: