编译原理dag优化例题