誤り確率を持つデジタル回路で作られた電子計算機は、
チューリングマシンを越えている要素がある。