次のような文法があるとします。
S
→A
A
→ E
「=」E
この例では、シーケンス ( "=" ) をS
導出します。しかし、これの反対は何ですか?つまり、空欄に入る適切な単語は次のとおりです。E
E
「シーケンス ( E
"=" E
) __ _ __ S
. "
対義語を微積分から借りるとすれば、 ( E
"=" E
)は積分 S
する と言えますが、それは正しくないようです。
次のような文法があるとします。
S
→A
A
→ E
「=」E
この例では、シーケンス ( "=" ) をS
導出します。しかし、これの反対は何ですか?つまり、空欄に入る適切な単語は次のとおりです。E
E
「シーケンス ( E
"=" E
) __ _ __ S
. "
対義語を微積分から借りるとすれば、 ( E
"=" E
)は積分 S
する と言えますが、それは正しくないようです。
厳密に言えば、そのような対義語があるとは思えません。代わりに、それらは両方とも派生と呼ばれます。より具体的には、質問で説明することは「トップダウン」解析と呼ばれ、逆は「ボトムアップ」解析と呼ばれます。
解析が開始記号から開始され、入力文字列全体が決定されるまで派生を適用するトップダウン解析とは対照的に、ボトムアップ解析は入力文字列から開始され、逆方向の派生を使用し、最終的に開始記号を導出したときに停止します。シンボル。
参照: http://lambda.uta.edu/cse5317/notes/node12.html
ただし、還元と呼ばれる派生の反対を見てきました。おそらくそれはあなたが考えていた用語ですか?
(つまり、私が大学で取った正式な論理コースは、最終的に何かに役立ったのでしょうか?)