В классификации формальных языков Хомского мне нужны некоторые примерыNon-Linear, Unambiguous and also Non-Deterministic Контекст-Free-Language (N-CFL)?

Линейный язык: Закакая линейная грамматика возможно (⊆ CFG), например
L1 = {аnbn | n ≥ 0}

Детерминированный контекст свободный язык (D-CFG): Для которых возможны детерминированные автоматические нажатия (D-PDA), например
L2 = {аnbncm | n ≥ 0, m ≥ 0}
L2 однозначно.

Грамматика CF, котораянелинейный нелинейный.
Lп = {w: na(ш) = пb(w)} такжеНелинейный CFG.

- 3.Недетерминированный контекстно-свободный язык (N-CFG): Для которогоonly Non-Deterministic Push-Down-Automata(N-PDA) возможно, например
L3 = {wwR | w ∈ {a, b}* }
L3 Также линейный CFG.

--4.Неоднозначный КЛЛ: КЛЛ, для которогоonly ambiguous CFG is possible
L4 = {аnbncm | n ≥ 0, m ≥ 0} U {anbmcm | n ≥ 0, m ≥ 0}
L4 является одновременно нелинейным и неоднозначным CFG и каждым неоднозначным CFL \ subseteq N-CFL.

Мой вопрос:
Все ли нелинейные, недетерминированные КЛЛ являются неоднозначными? Если нет, то мне нужен пример, который является нелинейным, недетерминированным КЛЛ и также однозначным?

Приведенная ниже диаграмма Венна:

Также спросилВот