nicovsj
commented
5 years ago @cahinostroza me cuesta entender a lo que te refieres. Pero recuerda como se define la aceptación por stack vacío
P acepta w por stack vacío si existe una ejecucion de P sobre w tal que la última configuración es de stack vacío.
Dado eso, si se está en un estado x, se terminó de leer la palabra y el stack está vacío, entonces existe una ejecución de P sobre w tal que la última configuración es de stack vacío (la ejecución que hizo llegar hasta x), por lo que P acepta w por stack vacío. Entonces es irrelevante lo que pasa después del estado x (nada cambia el hecho de que ya existe una ejecucion de aceptación por stack vacío).
¿Se entiende?
Hola, cuando tengo un autómata apilador que está leyendo una palabra, y en un estado x, ya se terminó de leer la palabra y el stack está vacío, si en ese estado tengo una transición que al leer epsilon y tener en el tope del stack, el símbolo de stack vacío va a otro estado, se ejecuta esta transición o se termina la ejecución por stack vacío? Creo que lo hablamos la última clase, pero no recuerdo :c