抽象机技能用于实现抽象机器，以定义和执行编程语言的操作语义，构建高效解释器，实现虚拟机，并应用于编程语言理论、教学和软件开发。关键词：抽象机、操作语义、编程语言、解释器、虚拟机、CEK机器、SECD机器、Krivine机器、编译器、形式语义。