Tiburon swMATH ID: 1312 Software Authors: May, Jonathan; Knight, Kevin Description: Tiburon is a tree transducer package written by Jonathan May at USC/ISI. You may also be interested in Carmel, the very fine finite-state (string) transducer package written by Jonathan Graehl, which was the inspiration for TiburoneTiburon is designed to handle weighted regular tree grammars, context-free grammars, and both tree-to-tree and tree-to-string transducers, and can perform composition, intersection, application, determinization, inside/outside training, pruning, return k-most likely trees, Viterbi derivations, and other useful things.Tiburon is written in java, and thus should be able to run on your machine. However, if you don’t have java, you should get it first (at least version 1.5 is required). Homepage: http://www.isi.edu/licensed-sw/tiburon/ Related Software: Penn Treebank; OpenFst; MONA; Carmel; CADP; M-TREE; BISIMULATOR; mCRL2; PRISM; DRAGON; QUB; Forest FIRE; FIRE station; FSA; Timbuk; ELAN Cited in: 15 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Tiburon: a weighted tree automata toolkit. Zbl 1160.68423May, Jonathan; Knight, Kevin 2006 all top 5 Cited by 17 Authors 10 Maletti, Andreas 4 May, Jonathan 3 Högberg, Johanna 2 Vogler, Heiko 1 Büchse, Matthias 1 Cherroun, Hadda 1 Deifel, Hans-Peter 1 Droste, Manfred 1 Ésik, Zoltán 1 Fülöp, Zoltán 1 Guellouma, Younes 1 Knight, Kevin M. 1 Kuske, Dietrich 1 Milius, Stefan 1 Nederhof, Mark-Jan 1 Schröder, Lutz 1 Wißmann, Thorsten all top 5 Cited in 6 Serials 2 Theoretical Computer Science 2 Information and Computation 1 Formal Aspects of Computing 1 Journal of Logic and Computation 1 International Journal of Foundations of Computer Science 1 Fundamenta Informaticae Cited in 1 Field 15 Computer science (68-XX) Citations by Year