La definición no depende del carácter determinista de la máquina de Turing (esto es un corolario del teorema de Savitch).