Kertas dengan bukti itu

Slide kuliah ini membuat sketsa bukti itu$L=\{ a^n b^n \mid n \geq 0 \} \cup \{ a^n b^{2n} \mid n \geq 0 \}$ tidak dapat diterima oleh Deterministic Pushdown Automaton. Sayangnya, slide tidak memberikan referensi ke mana bukti itu berasal.

Saya bertanya-tanya, apakah ada yang tahu makalah akademis atau buku teks yang memberikan bukti penuh? Saya ingin sekali mengutipnya, tetapi saya belum dapat menemukannya.

Hasilnya dibuktikan dalam Ginsburg dan Greibach, konteks bebas bahasa Deterministic , Inform. Kontrol 9 (6), 620-648, 1966 , Teorema 4.1 pada halaman 24 (643). Namun, buktinya terlihat agak berbeda.