Поиск языка, который не является LL (1)?

В последнее время я играл со множеством грамматик, не являющихся LL (1), и многие из них можно преобразовать в грамматики, которые являются LL ( 1).

Однако я никогда не видел примера однозначного языка , который не является LL (1). Другими словами, это язык, для которого любая недвусмысленная грамматика языка не является LL (1)), и я не знаю, как я буду доказывать, что нашел один, если случайно наткнулся на него.

кто-нибудь знает, как доказать, что конкретный недвусмысленный язык не является LL (1)?