R_(複雜度)

在計算複雜度理論內 ， R代表可以用圖靈機解決的所有決定型問題問題 。 ， 也就是所有遞歸語言的集合 。 R也等同於包含所有可計算函數的集合 。 因爲一個語言只要同時有識別者 （ recognizer ， 能在此語言的輸入爲真時停止並且回傳的圖靈機 ） 和反識別者 （ recognizer ， 能在此語言的輸入爲假時停止並且回傳正確答案的圖靈機 ） ， 我們就可以單純的把兩臺機器擺在一起 ， 等待其中一個回傳 ， 來解決這個語言 。 所以 ， R這個類別等同於.