が確定的コンテキストフリーではないことを証明する論文

これらのレクチャースライドは、 が確定的プッシュダウンで受け入れられないことの証明を示していますオートマトン。残念ながら、スライドは証明がどこから来たかについては言及していません。$L=\{ a^n b^n \mid n \geq 0 \} \cup \{ a^n b^{2n} \mid n \geq 0 \}$

完全な証明を与える学術論文や教科書を知っている人はいますか？引用したいのですが、見つけられませんでした。

その結果は、GinsburgとGreibachで証明されています。確定的文脈自由言語、Inform。Control 9（6）、620–648、1966、Theorem 4.1 on page 24（643）。ただし、証明は多少異なります。