Klassen av språk som lar seg *verifisere* av klassiske polynomtidalgoritmer. Eller, ekvivalent, klassen av språk som lar seg gjenkjenne av ikke-deterministiske polynomtidsalgoritmer.