In formal language theory, a context-free grammar is in Greibach normal form if the right-hand sides of all production rules start with a terminal symbol, optionally followed by some variables. Wikipedia