The following pages link to Tiburon (Q14052):
Displaying 14 items.
- Backward and forward bisimulation minimization of tree automata (Q840778) (← links)
- Compositions of extended top-down tree transducers (Q948090) (← links)
- Minimizing deterministic weighted tree automata (Q1041045) (← links)
- From generic partition refinement to weighted tree automata minimization (Q1982644) (← links)
- Weighted automata (Q2074206) (← links)
- Survey: finite-state technology in natural language processing (Q2357102) (← links)
- (Q2882382) (← links)
- Simulations of Weighted Tree Automata (Q3073652) (← links)
- Backward and Forward Bisimulation Minimisation of Tree Automata (Q3503899) (← links)
- Minimizing Deterministic Weighted Tree Automata (Q3540127) (← links)
- Input Products for Weighted Extended Top-Down Tree Transducers (Q3584903) (← links)
- From Tree Automata to Rational Tree Expressions (Q4963267) (← links)
- Tree parsing for tree-adjoining machine translation (Q5415368) (← links)
- Bisimulation Minimisation for Weighted Tree Automata (Q5428234) (← links)
