非线性,非确定性和非确定性CFL的例子?

时间:2012-10-30 16:10:39

标签: finite-automata automata computation-theory formal-languages chomsky-hierarchy

在正式语言的乔姆斯基分类中,我需要一些Non-Linear, Unambiguous and also Non-Deterministic无上下文语言(N-CFL)的例子?

  1. 线性语言:可以which Linear grammar(⊆CFG)例如
      L 1 = {a n b n | n≥0}

  2. 确定性上下文无关语言(D-CFG):可以使用确定性下推自动机(D-PDA),例如
    L 2 = {a n b n c m | n≥0,m≥0}
        L 2 是明确的。

  3.   

    CF语法not linear is nonlinear      L nl = {w:n a (w)= n b ( w)}也是非线性CFG

    - 3。 非确定性上下文无关语言(N-CFG):可以only Non-Deterministic Push-Down-Automata(N-PDA)为例{    L 3 = {ww R | w∈{a,b} * }
       L 3 也是线性CFG。

    - 4。 不明确的CFL only ambiguous CFG is possible的CFL  L 4 = {a n b n c m | n≥0,m≥0} U {a n b m c m | n≥0,m≥0}
       L 4 既是非线性的,也是模糊的CFG和每个Ambigous CFL \ subseteq N-CFL。

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

    给出下面的维恩图:

      

    enter image description here

    还问here

1 个答案:

答案 0 :(得分:4)

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

(1) L 3 = {ww R | w∈{a,b} * }

  • 语言L 3 是一种非确定性的上下文无关语言,它也是明确的和线性语言。

(2) L p 是括号匹配的语言。有两个终端符号“(”和“)” L p 的语法是:

S → SS
S → (S)
S → ()   
  • 这种语言也是非线性的,确定性的和明确的。

语言 L 是L p 和L 3 的并集是明确的,非线性的(由于L p )和非确定性(由于L 3 )(假设两种语言的语言符号不同)。

此语言是维恩图中语言的一个示例,我将其标记为??

下面还有正确的图表:

An ambiguous context free language also be a liner context free

  

dcf