Greibach Normal Form (GNF) in Compiler Design A CFG G = (V, T, P, S) is in Greibach Normal Form