私は読んでいて、ツルーイングマシンに関する削減を理解しようとしています. これは私がそれをどのように理解しているかです: それは問題 A を問題 C に還元することを意味します。例を見てみましょう：
言語 L が与えられた場合:
L ={<M,D>| M is s TM and D is a DFA so that L(M) = L(D)},
リダクションを使用して証明する方法Atm < L.
私の解決策：
M は、任意の文字列を受け入れ、その文字列で停止するチューリング マシンです。D は DFA hast で、言語 L とそれに相当する TM M を受け入れます。 Atm は TM であり、文字列wを受け入れる M です。
という直接還元を使ってどのように証明できますか?Atm < L??