determinisation

determinisation (countable and uncountable, plural determinisations)

1. Alternative form of determinization
   • 2015, John P. Gallagher, Mai Ajspur, Bishoksan Kafle, “An Optimised Algorithm for Determinisation and Completion of Finite Tree Automata”, in arXiv‎:

     In this paper we develop an algorithm for determinisation and completion of finite tree automata, whose worst-case complexity remains unchanged, but which performs dramatically better than existing algorithms in practice.

• determinise

• intermediations