Polynomial time (P): a language is said to be solvable in polynomial time if there exists a deterministic Turing Machine s.t.:

  • accepts
  • is eventually dominated by a polynomial function

We can define .