mapreduce - 決定者に決定させる {|M は TM であり、|L(M)|=n}、ディサイダーが n-1 を決定するビルド

Question

これは可能ですか？{|M は TM であり |L(M)|=n} と決定するディサイダーがあるとします {|M は TM であり |L(M)|=n-1} と決定するディサイダーを構築したい 可能であれば、どうやって？