Las definiciones de las diapositivas del teórico sobre los APD Deterministas no son muy rigurosas. Según entiendo el APD es determinista si dado un estado y un símbolo de la cima del stack, si tiene una transición épsilón entonces es la única. Suponiendo esto:
La primera definición dice que para todo q : estado y Z : símbolo del stack delta (q , eps , Z) no vacío implica que delta (q , a , Z) es vacío para todo a en Sigma. Pero esto no especifica que no puedan existir 2 transiciones épsilon.
La segunda nos dice que dado un estado q , un símbolo del stack Z y un símbolo de sigma unión épsilon la cantidad de transiciones puede ser 0 ó 1. Pero esta definición admite que haya una transición para el símbolo épsilon y otra para otro símbolo distinto de esp.
Quiero saber si la intuición descripta arriba está bien y en caso de estarlo, qué modificaciones les hace falta a las definiciones de las diapositivas para estar correctas?
Disculpen la molestia.
Saludos,
Nicolás
