比奥数更硬核的题目:equivalence of context free grammar (转