determinisation
名词 n.
英文释义
名词 n.
-
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 practice.
词形变化
0 次浏览
数据来源: Wiktionary