Provide the formal definition of a CFG: A CFG is defined by a 4-tuple (NT, T, S, R) where: