Pero eso no es suficiente, pues además puede darse la circunstancia de que el autómata esté en el estado formula_40 y en la pila aparezca el símbolo formula_41, entonces, si existe una definición de transición posible para algún símbolo cualquiera formula_42 del alfabeto de entrada, pero, además existe otra alternativa para la palabra vacía formula_43, también esto es una forma de no determinismo, pues podemos optar entre leer un símbolo o no hacerlo.