抽象機械MによりO(f(n))の計算資源Rを使って解く事が出来る問題の集合（nは入力長）例えば、クラスNPは非決定性チューリングマシンで多項式時間で解く事が出来る決定問題の集合である。
举例来说FP是指可以用确定型图灵机在多项式时间里面可以解决的功能性问题（类似于决定性问题的P），而FNP是指可以用非确定型图灵机在多项式时间里面可以解决的功能性问题（类似于决定性问题的NP）。