一个过程式语言操作语义的设计与可视化实现.pdf

摘 要

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

关键词：过程式语言；操作语义；可视化演示


















I
Abstract

Formal semantics is an important subject in computer science. It is the theoretical
foundation of program language design. Using mathematics as tool, it utilizes symbols and
formulas to define and interpret the semantics of program language accurately. It is essential
to increase practices and provide a visualizing tool in such course. The intention is to help
student comprehend concepts and methods, enhance theoretic and practical ability.
This system is designed for students to comprehend formal semantics of programming
language. We defined a series of procedural languages in a difficulty-increasing way,
including expressions, statements, input and output statements, variable declarations, block
statements, procedure and function, etc., used the abstract machine to define the operation
semantics of procedural programming language. we presented their abstract syntax and formal
definitions, design their abstract and demonstrate the processing of this abstract machine in a
visualizing way, and finally Visual implemented for the Operation Sementics Oriented to the
Procedure Languages.
This system could be applied to the teaching and network teaching of formal semantics
as a teaching assistant tool, and it can support teachers in the classroom teaching and provide
a good supporting environment for students in self-studying. Thereby, it sets up a