【发布时间】:2012-10-20 00:57:36
【问题描述】:
在形式语言的乔姆斯基分类中,我需要一些Non-Linear, Unambiguous and also Non-DeterministicContext-Free-Language(N-CFL)的例子吗?
线性语言:对于which Linear grammar 是可能的(⊆ CFG)例如
L1 = {anbn | n ≥ 0 }确定性上下文无关语言 (D-CFG):确定性下推自动机 (D-PDA) 可以用于哪些语言,例如
L2 = {anbncm | n ≥ 0, m ≥ 0 }
L2 是明确的。
not linear is nonlinear 的 CF 语法。
Lnl = {w: na(w) = nb(w)} 也是一个非线性CFG。
--
3.
Non-Deterministic Context Free Language(N-CFG):only Non-Deterministic Push-Down-Automata(N-PDA) 是可能的,例如
L3 = {wwR | w ∈ {a, b}* }
L3 也是线性 CFG。
--4。 不明确的 CFL:only ambiguous CFG is possible 的 CFL
L4 = {anbncm | n ≥ 0, m ≥ 0 } U {anbmcm | n ≥ 0, m ≥ 0 }
L4 是非线性和模糊 CFG 和每个模糊 CFL \subseteq N-CFL。
我的问题是:
是否所有非线性、非确定性 CFL 都是模棱两可的?如果没有那么
我需要一个非线性、非确定性 CFL 且明确的示例?
给定下面的维恩图:
也问here
【问题讨论】:
标签: finite-automata automata computation-theory formal-languages chomsky-hierarchy