# Turing機判定模型

[目錄呈現與來源綁定資料](https://ocme.evemisslab.com/data/i18n/catalogue.en.json)



## [Turing機判定模型](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-turing-machine-decision-model/)

固定deterministic single-tape Turing機語義；decider必須對每個合法輸入停機並給正確accept/reject答案。

atlas-turing-machine-decision-model · canonical_mko

[Turing機判定模型](https://ocme.evemisslab.com/zh-Hant/mko/mko-turing-machine-decision-model/)

## 前置節點


- [抽象計算模型](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-computational-model/)
- [決定問題](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-decision-problem/)
- [確定有限自動機](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-finite-automaton/)
- [算法正確性](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-algorithm-correctness/)