確立的チューリングマシン