$L \in P \iff$ существует МТ такая, что $\exists~p$ - полином

• $\forall \omega \in \mathbb{B}^*: (T(\omega) \leq p(|\omega|)) \wedge (M(\omega) = 1 \iff \omega \in L)$