Robuta

https://easychair.org/publications/paper/Fq7c Seminator: A Tool for Semi-Determinization of Omega-Automata a tool seminator determinization omega automata https://aclanthology.org/N06-1045/ A Better N-Best List: Practical Determinization of Weighted Finite Tree Automata - ACL Anthology Jonathan May, Kevin Knight. Proceedings of the Human Language Technology Conference of the NAACL, Main Conference. 2006. https://easychair.org/smart-slide/slide/gwcM Inversion and Determinization in Term Rewriting in term inversion determinization rewriting