parsing - 在解析理论中，“导出”的反义词是什么？

Question

假设你有这样的语法：

S→A

A→ E“=”E

在此示例中，S 派生序列 ( E"=" E)。然而，与此相反的是什么？也就是说，填空的合适词是什么：

“序列（E“=” E）_ __ _ __ S。

如果我们借用微积分的反义词，可以说 ( E"=" E)积分 S，但这似乎不对。

Answer 1

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

与自顶向下解析相反，其中解析从开始符号开始并应用推导直到确定整个输入字符串，自底向上解析从输入字符串开始并使用相反方向的推导，当它最终推导开始时停止象征。

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

但是，我看到了与推导相反的情况，称为归约。也许这就是你在想的术语？

（所以也许我在大学里上的那门形式逻辑课程最终还是有用的？）