Siguiente: . Un nivel arriba: Máquinas-p Anterior: .

.

Introduzcamos una noción de reconocimiento más estricta. El lenguaje reconocido por una p-mTp M, con $0\leq p <1$, es L si y sólo si

$$\begin{array}{rrcl} \bullet & \exists \epsilon,\forall \mbox... ...htarrow\; \rho_M(\mbox{\bf x})\leq 1-p,\vspace{2ex} \end{array}$$

Escribiremos L=L_B(M). Observaciones: 1. Con esta noción de reconocimiento, todo lenguaje reconocido por una mTp1 lo es también por una $\frac{1}{2}$-mTp.