Donde los tres últimos ejemplos utilizan una Definición ligeramente distinta de aceptación de lenguaje pues aceptan una cadena si existe tan solo un cómputo que la acepta o la mayoría la acepta y entonces es equivalente a máquina de Turing.