In parsing theory, what is the opposite of "inferring"?

Question

Suppose you have a grammar like this:

S → A

A→ E"="E

In this example, it Sdisplays the sequence ( E"=" E). However, what is the opposite of this? That is, what is the right word to fill in the gap:

"Sequence ( E" = " E) ______ S ."

If we borrowed the antonym from calculus, we can say that ( E"=" E) unites S, but this does not seem correct.

Answer 1

, , , . . , , , " " , " " .

, , , , , .

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

, . , , ?

( , , , - -?)