< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。

实验内容：根据课堂讲授的形式化算法，编制程序实现一个预测分析器，能对常见的算术表达式语句进行分析 实验要求： a)组织算术表达式的输入； b)若输入的符号串是一个算术表达式语句，则输出分析过程，否则输出一个错误-Experiment: algorithm according to the formal classroom teaching, the preparation process to achieve a prediction analyzer, capable of com