What is meant by Greibach Normal Form in Theory of Automata and Formal Languages?

A. a CFG form where productions begin with a terminal followed by zero or more non-terminals B. a normal form for transaction schedules C. a form where productions begin with two terminals only D. a finite automaton minimization rule