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.
引入了完备自动机作为定义命令分析器的一种抽象数学模型,并用该模型给出了命令分析器的形式化描述。
2
A formalmodel of PASCAL process blueprint, graphical notations of abstract logic structure diagram, and a fundamental programming procedure...