在解析理論中，「派生」的反義詞是什麼？

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

然而，我看到的推導被稱爲還原相反。也許這就是你想到的術語？

（那麼也許我在大學讀的形式邏輯課程終究對某件事情有好處？）