determinisation
Alternative form of determinization.
Noun
- Alternative form of determinization.
- 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...