概念導讀二元字串偶數1的scan decider完整machine、trace、ranking與全input正確性。Turing機判定模型derivation-mko-turing-machine-decision-model-01