Esto significa que los autómatas finitos deterministas son un caso particular de los no deterministas, puesto que "Q" pertenece al conjunto "P(Q)".