Automi a pila con un solo stato

Calcolabilità, modelli di calcolo, complessità, linguaggi formali.

Automi a pila con un solo stato

Messaggioda gianni80 il mar 30 ott 2012, 21:52

Sia M un NPDA (un automa a pila non deterministico) e Lp(M) il suo linguaggio riconosciuto per pila vuota. Dimostrare che esiste un NPDA M' con un solo stato tale che Lp(M')=Lp(M).
gianni80
 
Messaggi: 166
Iscritto il: gio 19 nov 2009, 14:44

Torna a Fondamenti dell'Informatica

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite

cron