1 【计】 抽象数学机 — abstract mathematical machine