ＮＰや非決定性ＴＭの定義程度は御神本に書いてある。
買って読め、塵。