把语法范畴翻译成中间代码所依据的是（）。