文法是编译原理，无环图我也看不懂