1 【计】 抽象机 — abstract machine