Giấy có bằng chứng rằng không phải là bối cảnh xác định miễn phí?

Các slide bài giảng này phác họa một bằng chứng rằng không thể được chấp nhận bởi bất kỳ Đẩy lùi xác định nào Máy tự động. Thật không may, các slide không đưa ra tài liệu tham khảo nào về việc bằng chứng đến từ đâu.$L=\{ a^n b^n \mid n \geq 0 \} \cup \{ a^n b^{2n} \mid n \geq 0 \}$

Tôi đã tự hỏi, có ai biết một bài báo học thuật hoặc sách giáo khoa cung cấp một bằng chứng đầy đủ? Tôi rất muốn có thể trích dẫn nó, nhưng tôi đã không thể tìm thấy nó.

Kết quả được chứng minh bằng Ginsburg và Greibach, Ngôn ngữ tự do bối cảnh xác định , Thông tin. Điều khiển 9 (6), 620 Chiếc648, 1966 , Định lý 4.1 trên trang 24 (643). Tuy nhiên, bằng chứng có vẻ khác nhau.