It also introduces perfect automata as an abstract mathematics model of defining the command analyzer. Besides, this paper gives formal description of the command analyzer of the model.
引入了完备自动机作为定义命令分析器的一种抽象数学模型，并用该模型给出了命令分析器的形式化描述。
A formal model of PASCAL process blueprint, graphical notations of abstract logic structure diagram, and a fundamental programming procedure...
文中给出PASCAL过程蓝图的形式化模型，抽象逻辑结构图的图形表示方法，以及程序设计的基本过程。
应用推荐