[1] [[多項式時間]][[計算量]]の[[決定性]][[チューリング機械]]によって[[受理]]される[[言語]]全体の[[集合]]を、[DFN[クラス[CODE(math)@en[[VAR['''P''']]]]]]といいます。 ([[名無しさん]] [sage])