Context Free能够生成所有常规语言吗?

时间:2016-09-04 06:55:10

标签: regular-language computation-theory

我正在研究计算理论,在那里我遇到了一个声明," CFG也可以创建常规语言"或者它应该是所有CFG可以创建所有(任何)常规语言

2 个答案:

答案 0 :(得分:0)

我认为这更像是一个语言问题而不是计算机科学问题。也就是说,这可能是我认为想要传达的更明确的表述:

  

对于任何常规语言,都有一个无上下文语法,可以生成常规语言。

为了看到这一点,我们可能首先为常规语言构建规范的无上下文语法。我们可能会采用正确的常规语法作为RL的规范CFG。我不会详细介绍这种结构,但它假设语言的DFA已知,并产生一个CFG,其制作镜像自动机中的过渡。

鉴于任何RL都存在单个CFG,我们立即认为任何RL都有无限多个等效的CFG。

答案 1 :(得分:0)

事实上,REG是CF的子集。因此,显然每种常规语言都是无上下文的,可以由CFG生成。