番号ずれてた。827, 828, 829はそれぞれ828, 829, 830のまちがい。

>>829
オートマトンと逝ったのが悪かったかも知れんが(それでも入力が進んでるか
ら無限ループとは限らないが)チューリングマシンなら意味は通るだろ。