抽象状态机-一流百科

抽象状态机

抽象状态机在计算机科学中，抽象状态机（ASM）是一种在任意数据结构（数理逻辑意义上的结构，即一个非空的集合以及该集合上的一些函数（操作）和关系）上运行...