¿Puede una gramática libre de contexto incluir "estados muertos" de un autómata, como
Las reglas de producción y se para siempre y nunca generarán una palabra. ¿Está esto permitido o DEBEN terminar las reglas de producción con un terminal en algún momento?
Sí, por supuesto. Cada NFA se puede escribir como un CFG. Y construir un DFA con un 'estado muerto' (el término que me enseñaron, es 'hundirse') es trivial.
fuente