Automi a pila non deterministico

E' un automa a pila che consente ad una transazione di passare da uno stato a 2 stati contemporaneamente al verificarsi di un evento.