抽象計算模型有限狀態計算模型以狀態集、初始狀態集、步驟關係與停止狀態集描述可能執行。atlas-computational-model · canonical_mko抽象計算模型前置節點集合二元關係與集合投影自然數