halting problem of Turing machine 图灵机停机问题...Turing 图灵机...quintuple Turing machine 五元组图灵机...two-state turing machine 双态杜林机...two-symbol Turing machine 双符号杜林机...Turing machine formalization 图灵机形式化...Turing control 图灵控制器...universal Turing machine 通用图灵机...Turing test 图灵测试...Turing reduction machine 图灵归约机...Turing computability 图灵机可计算性...Turing type computer 图灵计算机...alleged Turing machine 判定图灵机...Turing computable function 图灵机可计算函数...paper-tape turing machine 纸带杜林机器...multitrack-Turing machine 多道图灵机...Turing machine construction 图灵机结构...generalized Post-Turing program 广义波斯特-图灵程序...encoded Turing machine 编码图灵机...multihead Turing machine 多读写头杜林机器...bounded-reversal Turing machine 有界反向图灵机...
交流互动
发表言论