1
Dato un PDA M tale che L (M) è nel costrutto DCFL un DPDA N tale che L (N) = L (M)
È possibile costruire un algoritmo che accetta come input un automa pushdown insieme alla promessa che il linguaggio accettato da questo automa è un linguaggio deterministico senza contesto e genera un automa deterministico pushdown che accetta precisamente il linguaggio accettato di ?L ( M ) N MMMML ( M)L(M)L(M)NNNMMM Un …