Turing機判定模型
固定deterministic single-tape Turing機語義；decider必須對每個合法輸入停機並給正確accept/reject答案。
atlas-turing-machine-decision-model · canonical_mko
固定deterministic single-tape Turing機語義；decider必須對每個合法輸入停機並給正確accept/reject答案。
atlas-turing-machine-decision-model · canonical_mko