语义分析阶段所生成的与源程序等价的中间表示形式可以有（）、（）与（）等。