首先选择确定性单带图灵机(deterministic one-tape Turing machine), 简称确定图 灵机,记为DTM。一个DTM 由一个有限状态控制器、一个读写头和一条双向的具 有无限多个 格的线性带所组成。
基于4个网页-相关网页
deterministic one-tape turing machine
确定性单磁带图灵机
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动