Hola.
Si tu máquina se comporta de tal forma que nunca ejecutaría esa transición, para qué agregarla? Si la agregás y en realidad como decís nunca se ejecutaría no habría problema (se te marcaría como innecesaria).
Respecto a la duda de la gramática, si no se especifica nada que esté simplificada entonces podés hacer cualquiera que genere el lenguaje, siempre y cuando se corresponda al tipo de lenguaje; es decir: si L regular una G regular; si L es LC una G LC; si L es re una GI.
Lo de simplificada es algo que si se desea que se haga se explicita.
Saludos
Juanjo
Si tu máquina se comporta de tal forma que nunca ejecutaría esa transición, para qué agregarla? Si la agregás y en realidad como decís nunca se ejecutaría no habría problema (se te marcaría como innecesaria).
Respecto a la duda de la gramática, si no se especifica nada que esté simplificada entonces podés hacer cualquiera que genere el lenguaje, siempre y cuando se corresponda al tipo de lenguaje; es decir: si L regular una G regular; si L es LC una G LC; si L es re una GI.
Lo de simplificada es algo que si se desea que se haga se explicita.
Saludos
Juanjo