Bisimulation Minimisation for Weighted Tree Automata
From MaRDI portal
Publication:5428234
DOI10.1007/978-3-540-73208-2_23zbMath1202.68228MaRDI QIDQ5428234
Jonathan May, Andreas Maletti, Johanna Högberg
Publication date: 28 November 2007
Published in: Developments in Language Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73208-2_23
Related Items
A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata, From generic partition refinement to weighted tree automata minimization, Hyper-optimization for deterministic tree automata, Simulations of Weighted Tree Automata
Uses Software