Automi a pila non deterministico

Da Wikiversità, l'apprendimento libero.
Jump to navigation Jump to search

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