在解析理论中,“派生”的反义词是什么?

时间:2010-12-21 23:47:29

标签: parsing terminology compiler-theory

假设你有这样的语法:

SA

AE“=”E

在此示例中,S 派生序列(E“=”E)。但是,与此相反的是什么呢?也就是说,填补空白的适当词是什么:

“序列(E”=“E _ __ _ __ {{1} }“。

如果我们从微积分中借用反义词,可以说(S“=”E整合 E,但这并不是t 似乎正确。

1 个答案:

答案 0 :(得分:2)

严格来说,我不相信这样的反义词。相反,它们都被称为派生。更具体地说,您在问题中描述的内容称为“自上而下”解析,而反向称为“自下而上”解析

与自上而下的解析相反,其中解析从起始符号开始并应用派生直到确定整个输入字符串,自下而上解析从输入字符串开始并使用相反方向的派生,最后停止得出起始符号。

另见:http://lambda.uta.edu/cse5317/notes/node12.html

然而,我已经看到与派生相反的称为减少。也许这就是你想到的那个词?

(那么也许我上大学时所采用的正式逻辑课程最终会有所帮助?)