例えば、よく知られている決定問題''IS-PRIME''(素数判定問題)は、入力が素数の場合に「はい」、そうでなければ「いいえ」を返す.
、よく知られている