私はチューリング マシンについて多くのことを読み、その仕組みを理解していますが、理解できないこと (そしてどの本も教えようとしないこと) は、与えられた問題にどのようにアプローチすればよいのかということです。つまり、たとえば、単語が回文であるかどうかを確認することは、私が学んでいる本の 11 の状態で構成されています。私の現在の知識では、空の紙の上に座ってこれらすべての状態を思いつくだけでは、控えめに言ってもほとんど不可能に思えます。このようなことをしようとすると、これらの状態を何らかの形で「一緒に」機能させるにはどうすればよいかわからないため、すぐに行き詰まります。プログラミング時にはそのような問題はありませんが、ここでは、n-teen状態で構成されるものにどのようにアプローチすればよいかわかりません。それについて学ぶための方向性を教えてください。