チューリング同値
$ \equiv_Tと表記する
$ \equiv_Tは同値関係である
定義
$ \alpha\le_T\betaかつ$ \beta\le_T\alphaなとき、$ \alpha\equiv_T\betaと表記する
ref チューリング還元