它是什么意思"最弱的形式语言"

时间:2015-05-25 05:20:52

标签: compiler-construction

我正在研究Alex Aiken的编译器设计。在研究解析器幻灯片时,Alex说"常规语言是最弱的形式语言"。 enter image description here

From Youtube video

任何人都可以澄清一下!提前谢谢。

1 个答案:

答案 0 :(得分:4)

他可能意味着它位于Chomsky Heirarchy的底部。这意味着使用只能解决常规问题的设备(如正则表达式匹配),您永远不可能希望模拟更复杂的语言,或者像正确的计算机一样运行常规软件。最高级别(在图表中)比“常规”强大得多,称为“递归可枚举”。描述通过'图灵机'或任何现代计算机处理器可解决的问题类别。

编辑:只是观看视频,这绝对是他所暗示的,但是,如果他有一个更实际的角度。他没有教你CS理论(虽然它有助于学习我上面提到的理论)。

他的角度更实用,他只是告诉你,在编译代码的能力方面,常规是最不强大的。以下是他正在比较的正式语言:

  • 递归枚举
  • 无上下文
  • 上下文敏感

常规功能最弱,其他功能更强大。他继续用视频的其余部分解释常规语言的局限性。