determinisation
Jump to navigation
Jump to search
English
[edit]Noun
[edit]determinisation (countable and uncountable, plural determinisations)
- 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[1]:
- 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.