Tiburon

swMATH1312MaRDI QIDQ14052FDOQ14052

Author name not available (Why is that?)

Described by source

• Tiburon: A Weighted Tree Automata Toolkit

Cited In (14)

• Compositions of extended top-down tree transducers
• From Tree Automata to Rational Tree Expressions
• Minimizing Deterministic Weighted Tree Automata
• Tree parsing for tree-adjoining machine translation
• From generic partition refinement to weighted tree automata minimization
• Backward and forward bisimulation minimization of tree automata
• Weighted extended tree transducers
• Survey: finite-state technology in natural language processing
• Minimizing deterministic weighted tree automata
• Bisimulation Minimisation for Weighted Tree Automata
• Weighted automata
• Simulations of Weighted Tree Automata
• Input Products for Weighted Extended Top-Down Tree Transducers
• Backward and Forward Bisimulation Minimisation of Tree Automata

This page was built for software: Tiburon