7 c b a S C B A S -> a | b | c | ~ | aA | BC | AC | AB | ABC A -> a | aA B -> b | a C -> c