translatable grammar, substitute table, formalization system, compiler structure, semantic subroutine

• 关键词可翻译文法,替换表,形式化系统,编译程序构造,语义子程序