Lenguaje aceptado por un NFA

Sea un NFA, M ? (?, Q, q0, F, ?)

L(M)={w | ?~( q0, w) contiene un estado de F }