generated at
チューリング同値
\equiv_Tと表記する
\equiv_Tは同値関係である

定義
\alpha\le_T\betaかつ\beta\le_T\alphaなとき、\alpha\equiv_T\betaと表記する
ref チューリング還元