一个语义子程序描述了一个文法所对应的翻译工作。