A student is revising production rule. Which explanation should be selected?

A. a final answer in a proof B. a rule that describes how grammar symbols may be rewritten C. a transition that always reads a file D. a memory address of a state