以太坊技术黄皮书学习笔记19：系统运行模型2( 三 )_运行概述

公式16给出了具体的循环迭代函数的定义，公式17表示如果状态机异常停止，则状态恢复，公式18表示如果指令是重置，那么除了减去消耗的gas和产生一个失败的异常结果，其他的状态和内容没有发生变化。公式19表示如果输出的结果不是空集合，则执行新的函数，否则公式20表示继续递归调用X函数。公式21定义了输出结果的定义，这个公式22会在下面讲解，公式23是对点操作的解释，公式24表示虚拟机状态的变迁只是简单的修改了可用gas数量，公式25表示计算本次迭代运算消耗的gas的计算公式

公式26定义了当前需要执行的指令的，如果该指令在输入指令集Ib序列内，则根据指令指针读取该指令，否则当前的指令为STOP即停止执行。公式27定义了如何判断当前的状态是否是异常停止，燃料不够或者公式28需要出栈操作的数据为空集合，即没有数据可以操作了，公式29表示当前栈的长度小于要出栈的数据的长度，即数据已经不一致了；公式30表示当前指令是跳转并且当前数据栈第一个元素不属于公式31 ，这个会在后面给出定义；公式32表示当前指令是跳转指令并且数据栈第2个预算不是0 ，并且第一个元素不属于公式定义31；公式33表示当前指令时返回并且数据栈中第2个数据和第3个数据的和大于虚拟机返回数据的长度，公式34表示虚拟机栈的长度减去出栈指令的长度加上入栈指令的长度大于1024 ，即没有足够的栈空间来存储指令；公式35表示当前虚拟机状态不可写并且公式36成立。