Akademik
不确定下推自动机
_
non-deterministic push-down automaton
Наука
.
2013
.