Gri*_*han 5 automata finite-automata computation-theory formal-languages chomsky-hierarchy
在正式语言的乔姆斯基分类中,我需要一些Non-Linear, Unambiguous and also Non-Deterministic上下文无关语言(N-CFL)的例子吗?
线性语言:对于哪些线性文法是可能的(?CFG)例如
L 1 = {a n b n | ? 0 }
确定性上下文无关语言(D-CFG):对于哪些确定性下推自动机(D-PDA)是可能的,例如
L 2 = {a n b n c m | ? 0,米?0 }
L 2是明确的。
-- 3.
Non-Deterministic Context Free Language(N-CFG) : 对于哪个only Non-Deterministic Push-Down-Automata(N-PDA)是可能的,例如
L 3 = {ww R | ? {a, b} * }
L 3也是线性CFG。
--4. Ambiguous CFL:only ambiguous CFG is possible
L 4 = {a n b n c m |的CFL ? 0,米?0 } U {a n b m c m | ? 0,米?0 }
L 4既是非线性的又是模糊的 CFG 和每个模糊的 CFL \subseteq N-CFL。
我的问题是:
是否所有非线性、非确定性 CFL 都是模棱两可的?如果不是,那么我需要一个非线性、非确定性 CFL 且明确的示例?
给出下面的维恩图:
还在这里问
(1) L 3 = {ww R | ? {a, b} * }
(2) L p为括号匹配语言。有两个终结符“(”和“)”。
L p 的语法是:
S ? SS
S ? (S)
S ? ()
Run Code Online (Sandbox Code Playgroud)
作为 L p和 L 3并集的语言L是明确的、非线性的(由于 L p)和非确定性的(由于 L 3)(假设两种语言的语言符号不同)。
这种语言是我标记为维恩图中的语言的一个例子??。
另外正确的图如下: