非线性，非确定性和非确定性CFL的例子？

Question

在形式语言的乔姆斯基分类中，我需要一些Non-Linear, Unambiguous and also Non-Deterministic上下文语言（N-CFL）的例子？

1. 线性语言 ： 可以使用线性语法 （⊆CFG），例如
   L ₁ = {a ⁿ b ⁿ | n≥0}

2. 确定性上下文无关语言（D-CFG） ：确定性下推自动机（D-PDA）是可能的，例如
   L ₂ = {a ⁿ b ⁿ c ^m | n≥0，m≥0}
   L ₂是明确的。

非线性的 CF语法是非线性的 。
L _nl = {w：n _a （w）= n _b （w）}也是非线性CFG 。

- 3. 非确定性上下文无关语言（N-CFG） ： only Non-Deterministic Push-Down-Automata(N-PDA)是可能的，例如
L ₃ = {ww ^R | w∈{a，b} ^* }
L ₃也是线性CFG。

--4。 模糊CFL ：CFL only ambiguous CFG is possible
L ₄ = {a ⁿ b ⁿ c ^m | n≥0，m≥0} U {a ⁿ b ^m c ^m | n≥0，m≥0}
L ₄既是非线性的又是模糊的CFG和每个Ambigous CFL \\ subseteq N-CFL。

我的问题是：
是否所有非线性，非确定性CFL都是不明确的？ 如果没有那么我需要一个非线性，非确定性CFL的例子，也是明确的？

给出下面的维恩图：

还问这里

Answer 1

“在形式语言的CHOMSHY分类的背景下”

（1） L ₃ = {ww ^R | w∈{a，b} ^* }

• 语言L ₃是非确定性上下文自由语言，也是非明确和线性语言。

（2） L _p是括号匹配的语言。 有两个终端符号“（”和“）”。
L _p的语法是：

S → SS
S → (S)
S → ()   

• 这种语言也是非线性的，确定性的和明确的。

作为L _p和L _3的并集的语言L是明确的，非线性的（由于L _p ），并且是非确定性的（由于L ₃ ）（假设两种语言的语言符号不同）。

这个语言是维恩图中语言的一个例子，我在其中标记了?? 。

正确的图表如下：

一个含糊不清的上下文自由语言也是一个无衬里背景