Carta con la prova che

Queste diapositive illustrano una prova $L=\{ a^n b^n \mid n \geq 0 \} \cup \{ a^n b^{2n} \mid n \geq 0 \}$ non può essere accettato da alcun Automatico Pushdown deterministico. Sfortunatamente, le diapositive non forniscono riferimenti su da dove provenga la prova.

Mi chiedevo, qualcuno conosce un documento accademico o un libro di testo che fornisce una prova completa? Mi piacerebbe poterlo citare, ma non sono stato in grado di trovarne uno.

— jmite
fonte

Come nota: le diapositive seguono lo stesso argomento di quello che uso in una domanda correlata su Pumping Lemma's per deterministica CFL. (Questo è un argomento senza pompaggio ovviamente.)

— Hendrik Jan

Il risultato è dimostrato in Ginsburg e Greibach, Lingue libere dal contesto deterministico , Inform. Controllo 9 (6), 620–648, 1966 , Teorema 4.1 a pagina 24 (643). Tuttavia, la prova sembra in qualche modo diversa.

— Yuval Filmus
fonte

Eccezionale! Grazie mille! Avevo visto riferimenti a quel documento ma avevo problemi a trovare una copia PDF.

— jmite,

Per curiosità, come l'hai trovato? Sapevi solo a mano in quale carta era o l'hai cercata in qualche modo? Sto cercando di sviluppare le mie capacità di ricerca di carta ...

— jmite,

Ho cercato su Google "contesto deterministico libero" ed è stato uno dei migliori risultati. L'abstract non sembrava troppo promettente, ma nell'introduzione menzionano questo risultato.

— Yuval Filmus,