Computations of non-deterministic Turing machines are shown to correspond to "solving" certain mazes. The storage needed to "solve" mazes is related to the storage needed to deterministically simulate non-deterministic Turing machines. In particular, it is shown that a non-deterministic L(n)-tape bounded Turing machine can be simulated by an (L(n))
非确定性图灵机的计算显示为对应于“解决”某些迷宫。 “解决”迷宫所需的存储与确定性地模拟非确定性图灵机所需的存储有关。特别地，示出了可以通过（L（n））
机译：超限图灵机不确定暂停时间的有界引理
机译：非确定性，并行和并发抽象状态机的统一逻辑
机译：实数的物理教会论题和非确定性计算
机译：非确定性图灵机的光学设计（扩展摘要）
机译：用于不确定性离散事件仿真的并行体系结构。
机译：指数计算更快：使用DNA实现不确定的通用图灵机
机译：验证单磁带非确定性图灵机是否及时运行 $道道+ d $
机译：利用随机存取机对树机和多维图灵机进行高效的在线仿真。
