Akademik
图灵机停机问题
_
halting problem of Turing machine
Наука
.
2013
.