[农学]程序设计方法学1.pptVIP

* 国家高性能计算中心 * 例： 2．同时代换（Simultaneous Substitution） 设 表示一个互不相同的标识符表，即  是一个表达式表，且与 有相同的长度。 则，在表达式E中用ei同时代换相应的xi的所有出现记为： * 国家高性能计算中心 * 1. 代换必须同时进行 如： 2. 一般来说， 与 可能不同 如 同时代换的要点： * 国家高性能计算中心 * 二、状态转换（state transformation） 设S是一个状态，E是一个表达式，则，E在状态S下的值记为S(E)。 例如： 则 文字代换 * 国家高性能计算中心 * 程序状态的转换 程序状态是怎样转换的呢？ ——给程序中的变量赋新值（包括增加或减少了变量的个数）。 设s和s’是相邻的两个程序状态， s和s’的差别主要在于s和s’中某些变量的值不同（包括变量的增加或减少）。 * 国家高性能计算中心 * 状态转换的表示： 设s和s’是两个状态，它们有相同的标识符，且除了某个标识符的值不同外，其余的都一样，则用下面的标记来表示s’（这里设s和s’中x的值不同，x在s’中的值为v，其余的标识符均相同）：