一生一芯 | 状态机模型
计算机系统都是状态机一个简单的计算机系统:程序直接在 CPU 上运行(无操作系统)
这三个抽象层次(程序、指令集、CPU) 都可以用状态机来理解。
C 程序的状态机模型
状态集合:S={<V,PC>}S = \{<V, PC>\}S={<V,PC>}
V = {v1,v2,v3,...}=程序中所有变量的取值(包括全局变量和局部变量)\{v1, v2, v3, ...\} = 程序中所有变量的取值(包括全局变量和局部变量){v1,v2,v3,...}=程序中所有变量的取值(包括全局变量和局部变量)
PC
原创
2024-04-12 19:36:27 ·
966 阅读 ·
1 评论