Artigo com prova de que não é livre de contexto determinístico?

Esses slides de aula esboçam uma prova de que não pode ser aceito por nenhum Empurrão Determinístico Autômato. Infelizmente, os slides não fornecem referências sobre a origem da prova. $L=\{ a^n b^n \mid n \geq 0 \} \cup \{ a^n b^{2n} \mid n \geq 0 \}$

Fiquei me perguntando, alguém sabe de um artigo ou livro acadêmico que dê uma prova completa? Adoraria poder citá-lo, mas não consegui encontrar um.

— jmite
fonte

Como observação: os slides seguem o mesmo argumento que eu uso em uma pergunta relacionada no Pumping Lemma's para CFL determinística. (Este é um argumento não-bombeamento, é claro.)

— Hendrik Jan

O resultado é comprovado em Ginsburg e Greibach, linguagens livres de contexto determinístico , Inform. Controle 9 (6), 620–648, 1966 , Teorema 4.1 na página 24 (643). No entanto, a prova parece um pouco diferente.

— Yuval Filmus
fonte

Impressionante! Muito obrigado! Eu já tinha visto referências a esse artigo, mas tive problemas para encontrar uma cópia em PDF.

— Jmite 30/05

Por curiosidade, como você achou isso? Você sabia de imediato em que papel estava ou procurou de alguma forma? Eu estou tentando desenvolver as minhas capacidades de procura de papel ...

— jmite

Pesquisei no "contexto determinístico livre" e esse foi um dos principais resultados. O resumo não parecia muito promissor, mas na introdução eles mencionam esse resultado.

— Yuval Filmus