Decision algorithms for CFGs