《形式语义学》是计算机软件与理论专业的研究生学位课,在研究生计算机教育中占有重要的地位。它是程序设计理论的组成部分,以数学为工具,利用符号和公式精确地定义和解释计算机程序设计语言的语义,使语义形式化的学科。为了让学生能够领会相关概念和方法,加深理论认识的同时提高实践能力,在这种理论性极强的课程中增加实践环节并提供可视化工具十分有必要。本论文就是为了更好地帮助学生深入理解程序设计语言的形式语义而设计,采用递增的方式,按照不同难度级别定义一系列过程式语言,包括:表达式、语句、输入/输出语句、变量声明、嵌套语句、过程/函数等级别。采用抽象机方法定义该语言的操作语义,给出它们的抽象语法及形式定义,设计相应语言的抽象机,并可视化抽象机的执行过程,实现过程式语言操作语义的可视化演示。本系统可以应用于课堂教学及网络教学当中,作为辅助教学工具,辅助教师进行课堂教学,为学生自主学习提供良好的支撑环境。从而用形象的图形界面为学生搭起通向掌握抽象思维方法的桥梁。