【计】 图灵机形式化
在线英汉词典
Turing machine formalization
相关词语
- halting problem of Turing machine 图灵机停机问题...
- Turing 图灵机...
- quintuple Turing machine 五元组图灵机...
- two-state turing machine 双态杜林机...
- two-symbol Turing machine 双符号杜林机...
- universal Turing machine 通用图灵机...
- Turing test 图灵测试...
- Turing control 图灵控制器...
- Turing reduction machine 图灵归约机...
- Turing computability 图灵机可计算性...
- Turing type computer 图灵计算机...
- alleged Turing machine 判定图灵机...
- Turing computable function 图灵机可计算函数...
- paper-tape turing machine 纸带杜林机器...
- Turing machine 图灵机...
- multitrack-Turing machine 多道图灵机...
- Turing machine construction 图灵机结构...
- generalized Post-Turing program 广义波斯特-图灵程序...
- encoded Turing machine 编码图灵机...
- multihead Turing machine 多读写头杜林机器...