What is meant by derivation in Theory of Automata and Formal Languages?

A. a sequence of production applications used to generate a string B. a set of DFA states only C. a tape movement operation only D. a database query plan