本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261013-advance-20261019-r04-computational-model-foundations · 2026-10-13 · 100 題
完整有限轉移模型。操作=model-reachable-states；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5]]}。請依 [n,init,halt,steps,reachable] 欄序回答。
(6, [0], [5], [[0, 1], [1, 2], [2, 5]], [0, 1, 2, 5])
第二批擴展核對=(6, [0], [5], [[0, 1], [1, 2], [2, 5]], [0, 1, 2, 5])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-reachable-states · candidate
完整有限轉移模型。操作=model-reachable-states；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3]]}。請依 [n,init,halt,steps,reachable] 欄序回答。
(6, [0], [5], [[0, 1], [0, 3], [1, 2], [2, 5]], [0, 1, 2, 3, 5])
第二批擴展核對=(6, [0], [5], [[0, 1], [0, 3], [1, 2], [2, 5]], [0, 1, 2, 3, 5])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-reachable-states · candidate
完整有限轉移模型。操作=model-reachable-states；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[3,4]]}。請依 [n,init,halt,steps,reachable] 欄序回答。
(6, [0], [5], [[0, 1], [1, 2], [2, 5], [3, 4]], [0, 1, 2, 5])
第二批擴展核對=(6, [0], [5], [[0, 1], [1, 2], [2, 5], [3, 4]], [0, 1, 2, 5])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-reachable-states · candidate
完整有限轉移模型。操作=model-reachable-states；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[3,4]]}。請依 [n,init,halt,steps,reachable] 欄序回答。
(6, [0], [5], [[0, 1], [0, 3], [1, 2], [2, 5], [3, 4]], [0, 1, 2, 3, 4, 5])
第二批擴展核對=(6, [0], [5], [[0, 1], [0, 3], [1, 2], [2, 5], [3, 4]], [0, 1, 2, 3, 4, 5])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-reachable-states · candidate
完整有限轉移模型。操作=model-reachable-states；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[4,5]]}。請依 [n,init,halt,steps,reachable] 欄序回答。
(6, [0], [5], [[0, 1], [1, 2], [2, 5], [4, 5]], [0, 1, 2, 5])
第二批擴展核對=(6, [0], [5], [[0, 1], [1, 2], [2, 5], [4, 5]], [0, 1, 2, 5])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-reachable-states · candidate
完整有限轉移模型。操作=model-reachable-states；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[4,5]]}。請依 [n,init,halt,steps,reachable] 欄序回答。
(6, [0], [5], [[0, 1], [0, 3], [1, 2], [2, 5], [4, 5]], [0, 1, 2, 3, 5])
第二批擴展核對=(6, [0], [5], [[0, 1], [0, 3], [1, 2], [2, 5], [4, 5]], [0, 1, 2, 3, 5])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-reachable-states · candidate
完整有限轉移模型。操作=model-reachable-states；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[3,4],[4,5]]}。請依 [n,init,halt,steps,reachable] 欄序回答。
(6, [0], [5], [[0, 1], [1, 2], [2, 5], [3, 4], [4, 5]], [0, 1, 2, 5])
第二批擴展核對=(6, [0], [5], [[0, 1], [1, 2], [2, 5], [3, 4], [4, 5]], [0, 1, 2, 5])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-reachable-states · candidate
完整有限轉移模型。操作=model-reachable-states；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[3,4],[4,5]]}。請依 [n,init,halt,steps,reachable] 欄序回答。
(6, [0], [5], [[0, 1], [0, 3], [1, 2], [2, 5], [3, 4], [4, 5]], [0, 1, 2, 3, 4, 5])
第二批擴展核對=(6, [0], [5], [[0, 1], [0, 3], [1, 2], [2, 5], [3, 4], [4, 5]], [0, 1, 2, 3, 4, 5])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-reachable-states · candidate
完整有限轉移模型。操作=model-reachable-states；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[2,1]]}。請依 [n,init,halt,steps,reachable] 欄序回答。
(6, [0], [5], [[0, 1], [1, 2], [2, 1], [2, 5]], [0, 1, 2, 5])
第二批擴展核對=(6, [0], [5], [[0, 1], [1, 2], [2, 1], [2, 5]], [0, 1, 2, 5])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-reachable-states · candidate
完整有限轉移模型。操作=model-reachable-states；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[2,1]]}。請依 [n,init,halt,steps,reachable] 欄序回答。
(6, [0], [5], [[0, 1], [0, 3], [1, 2], [2, 1], [2, 5]], [0, 1, 2, 3, 5])
第二批擴展核對=(6, [0], [5], [[0, 1], [0, 3], [1, 2], [2, 1], [2, 5]], [0, 1, 2, 3, 5])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-reachable-states · candidate
完整有限轉移模型。操作=model-reachable-states；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[3,4],[2,1]]}。請依 [n,init,halt,steps,reachable] 欄序回答。
(6, [0], [5], [[0, 1], [1, 2], [2, 1], [2, 5], [3, 4]], [0, 1, 2, 5])
第二批擴展核對=(6, [0], [5], [[0, 1], [1, 2], [2, 1], [2, 5], [3, 4]], [0, 1, 2, 5])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-reachable-states · candidate
完整有限轉移模型。操作=model-reachable-states；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[3,4],[2,1]]}。請依 [n,init,halt,steps,reachable] 欄序回答。
(6, [0], [5], [[0, 1], [0, 3], [1, 2], [2, 1], [2, 5], [3, 4]], [0, 1, 2, 3, 4, 5])
第二批擴展核對=(6, [0], [5], [[0, 1], [0, 3], [1, 2], [2, 1], [2, 5], [3, 4]], [0, 1, 2, 3, 4, 5])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-reachable-states · candidate
完整有限轉移模型。操作=model-reachable-states；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[4,5],[2,1]]}。請依 [n,init,halt,steps,reachable] 欄序回答。
(6, [0], [5], [[0, 1], [1, 2], [2, 1], [2, 5], [4, 5]], [0, 1, 2, 5])
第二批擴展核對=(6, [0], [5], [[0, 1], [1, 2], [2, 1], [2, 5], [4, 5]], [0, 1, 2, 5])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-reachable-states · candidate
完整有限轉移模型。操作=model-reachable-states；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[4,5],[2,1]]}。請依 [n,init,halt,steps,reachable] 欄序回答。
(6, [0], [5], [[0, 1], [0, 3], [1, 2], [2, 1], [2, 5], [4, 5]], [0, 1, 2, 3, 5])
第二批擴展核對=(6, [0], [5], [[0, 1], [0, 3], [1, 2], [2, 1], [2, 5], [4, 5]], [0, 1, 2, 3, 5])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-reachable-states · candidate
完整有限轉移模型。操作=model-reachable-states；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[3,4],[4,5],[2,1]]}。請依 [n,init,halt,steps,reachable] 欄序回答。
(6, [0], [5], [[0, 1], [1, 2], [2, 1], [2, 5], [3, 4], [4, 5]], [0, 1, 2, 5])
第二批擴展核對=(6, [0], [5], [[0, 1], [1, 2], [2, 1], [2, 5], [3, 4], [4, 5]], [0, 1, 2, 5])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-reachable-states · candidate
完整有限轉移模型。操作=model-reachable-states；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[3,4],[4,5],[2,1]]}。請依 [n,init,halt,steps,reachable] 欄序回答。
(6, [0], [5], [[0, 1], [0, 3], [1, 2], [2, 1], [2, 5], [3, 4], [4, 5]], [0, 1, 2, 3, 4, 5])
第二批擴展核對=(6, [0], [5], [[0, 1], [0, 3], [1, 2], [2, 1], [2, 5], [3, 4], [4, 5]], [0, 1, 2, 3, 4, 5])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-reachable-states · candidate
完整有限轉移模型。操作=model-reachable-states；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[1,1]]}。請依 [n,init,halt,steps,reachable] 欄序回答。
(6, [0], [5], [[0, 1], [1, 1], [1, 2], [2, 5]], [0, 1, 2, 5])
第二批擴展核對=(6, [0], [5], [[0, 1], [1, 1], [1, 2], [2, 5]], [0, 1, 2, 5])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-reachable-states · candidate
完整有限轉移模型。操作=model-reachable-states；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[1,1]]}。請依 [n,init,halt,steps,reachable] 欄序回答。
(6, [0], [5], [[0, 1], [0, 3], [1, 1], [1, 2], [2, 5]], [0, 1, 2, 3, 5])
第二批擴展核對=(6, [0], [5], [[0, 1], [0, 3], [1, 1], [1, 2], [2, 5]], [0, 1, 2, 3, 5])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-reachable-states · candidate
完整有限轉移模型。操作=model-reachable-states；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[3,4],[1,1]]}。請依 [n,init,halt,steps,reachable] 欄序回答。
(6, [0], [5], [[0, 1], [1, 1], [1, 2], [2, 5], [3, 4]], [0, 1, 2, 5])
第二批擴展核對=(6, [0], [5], [[0, 1], [1, 1], [1, 2], [2, 5], [3, 4]], [0, 1, 2, 5])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-reachable-states · candidate
完整有限轉移模型。操作=model-reachable-states；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[3,4],[1,1]]}。請依 [n,init,halt,steps,reachable] 欄序回答。
(6, [0], [5], [[0, 1], [0, 3], [1, 1], [1, 2], [2, 5], [3, 4]], [0, 1, 2, 3, 4, 5])
第二批擴展核對=(6, [0], [5], [[0, 1], [0, 3], [1, 1], [1, 2], [2, 5], [3, 4]], [0, 1, 2, 3, 4, 5])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-reachable-states · candidate
完整有限轉移模型。操作=model-reachable-states；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[4,5],[1,1]]}。請依 [n,init,halt,steps,reachable] 欄序回答。
(6, [0], [5], [[0, 1], [1, 1], [1, 2], [2, 5], [4, 5]], [0, 1, 2, 5])
第二批擴展核對=(6, [0], [5], [[0, 1], [1, 1], [1, 2], [2, 5], [4, 5]], [0, 1, 2, 5])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-reachable-states · candidate
完整有限轉移模型。操作=model-reachable-states；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[4,5],[1,1]]}。請依 [n,init,halt,steps,reachable] 欄序回答。
(6, [0], [5], [[0, 1], [0, 3], [1, 1], [1, 2], [2, 5], [4, 5]], [0, 1, 2, 3, 5])
第二批擴展核對=(6, [0], [5], [[0, 1], [0, 3], [1, 1], [1, 2], [2, 5], [4, 5]], [0, 1, 2, 3, 5])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-reachable-states · candidate
完整有限轉移模型。操作=model-reachable-states；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[3,4],[4,5],[1,1]]}。請依 [n,init,halt,steps,reachable] 欄序回答。
(6, [0], [5], [[0, 1], [1, 1], [1, 2], [2, 5], [3, 4], [4, 5]], [0, 1, 2, 5])
第二批擴展核對=(6, [0], [5], [[0, 1], [1, 1], [1, 2], [2, 5], [3, 4], [4, 5]], [0, 1, 2, 5])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-reachable-states · candidate
完整有限轉移模型。操作=model-reachable-states；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[3,4],[4,5],[1,1]]}。請依 [n,init,halt,steps,reachable] 欄序回答。
(6, [0], [5], [[0, 1], [0, 3], [1, 1], [1, 2], [2, 5], [3, 4], [4, 5]], [0, 1, 2, 3, 4, 5])
第二批擴展核對=(6, [0], [5], [[0, 1], [0, 3], [1, 1], [1, 2], [2, 5], [3, 4], [4, 5]], [0, 1, 2, 3, 4, 5])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-reachable-states · candidate
完整有限轉移模型。操作=model-reachable-states；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[2,1],[1,1]]}。請依 [n,init,halt,steps,reachable] 欄序回答。
(6, [0], [5], [[0, 1], [1, 1], [1, 2], [2, 1], [2, 5]], [0, 1, 2, 5])
第二批擴展核對=(6, [0], [5], [[0, 1], [1, 1], [1, 2], [2, 1], [2, 5]], [0, 1, 2, 5])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-reachable-states · candidate
完整有限轉移模型。操作=model-trace-qualification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5]],"trace":[0,1,2,5]}。請依 [trace,typed_mask,nonempty,initial,step_flags,continued_after_halt,valid] 欄序回答。
([0, 1, 2, 5], [是, 是, 是, 是], 是, 是, [是, 是, 是], 否, 是)
第二批擴展核對=([0, 1, 2, 5], [是, 是, 是, 是], 是, 是, [是, 是, 是], 否, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-trace-qualification · candidate
完整有限轉移模型。操作=model-trace-qualification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3]],"trace":[0,4]}。請依 [trace,typed_mask,nonempty,initial,step_flags,continued_after_halt,valid] 欄序回答。
([0, 4], [是, 是], 是, 是, [否], 否, 否)
第二批擴展核對=([0, 4], [是, 是], 是, 是, [否], 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-trace-qualification · candidate
完整有限轉移模型。操作=model-trace-qualification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[3,4]],"trace":[0,1,2,5,5]}。請依 [trace,typed_mask,nonempty,initial,step_flags,continued_after_halt,valid] 欄序回答。
([0, 1, 2, 5, 5], [是, 是, 是, 是, 是], 是, 是, [是, 是, 是, 否], 是, 否)
第二批擴展核對=([0, 1, 2, 5, 5], [是, 是, 是, 是, 是], 是, 是, [是, 是, 是, 否], 是, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-trace-qualification · candidate
完整有限轉移模型。操作=model-trace-qualification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[3,4]],"trace":[0,6]}。請依 [trace,typed_mask,nonempty,initial,step_flags,continued_after_halt,valid] 欄序回答。
([0, 6], [是, 否], 是, 是, [否], 否, 否)
第二批擴展核對=([0, 6], [是, 否], 是, 是, [否], 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-trace-qualification · candidate
完整有限轉移模型。操作=model-trace-qualification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[4,5]],"trace":[0,1,2,5]}。請依 [trace,typed_mask,nonempty,initial,step_flags,continued_after_halt,valid] 欄序回答。
([0, 1, 2, 5], [是, 是, 是, 是], 是, 是, [是, 是, 是], 否, 是)
第二批擴展核對=([0, 1, 2, 5], [是, 是, 是, 是], 是, 是, [是, 是, 是], 否, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-trace-qualification · candidate
完整有限轉移模型。操作=model-trace-qualification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[4,5]],"trace":[0,4]}。請依 [trace,typed_mask,nonempty,initial,step_flags,continued_after_halt,valid] 欄序回答。
([0, 4], [是, 是], 是, 是, [否], 否, 否)
第二批擴展核對=([0, 4], [是, 是], 是, 是, [否], 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-trace-qualification · candidate
完整有限轉移模型。操作=model-trace-qualification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[3,4],[4,5]],"trace":[0,1,2,5,5]}。請依 [trace,typed_mask,nonempty,initial,step_flags,continued_after_halt,valid] 欄序回答。
([0, 1, 2, 5, 5], [是, 是, 是, 是, 是], 是, 是, [是, 是, 是, 否], 是, 否)
第二批擴展核對=([0, 1, 2, 5, 5], [是, 是, 是, 是, 是], 是, 是, [是, 是, 是, 否], 是, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-trace-qualification · candidate
完整有限轉移模型。操作=model-trace-qualification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[3,4],[4,5]],"trace":[0,6]}。請依 [trace,typed_mask,nonempty,initial,step_flags,continued_after_halt,valid] 欄序回答。
([0, 6], [是, 否], 是, 是, [否], 否, 否)
第二批擴展核對=([0, 6], [是, 否], 是, 是, [否], 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-trace-qualification · candidate
完整有限轉移模型。操作=model-trace-qualification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[2,1]],"trace":[0,1,2,5]}。請依 [trace,typed_mask,nonempty,initial,step_flags,continued_after_halt,valid] 欄序回答。
([0, 1, 2, 5], [是, 是, 是, 是], 是, 是, [是, 是, 是], 否, 是)
第二批擴展核對=([0, 1, 2, 5], [是, 是, 是, 是], 是, 是, [是, 是, 是], 否, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-trace-qualification · candidate
完整有限轉移模型。操作=model-trace-qualification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[2,1]],"trace":[0,4]}。請依 [trace,typed_mask,nonempty,initial,step_flags,continued_after_halt,valid] 欄序回答。
([0, 4], [是, 是], 是, 是, [否], 否, 否)
第二批擴展核對=([0, 4], [是, 是], 是, 是, [否], 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-trace-qualification · candidate
完整有限轉移模型。操作=model-trace-qualification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[3,4],[2,1]],"trace":[0,1,2,5,5]}。請依 [trace,typed_mask,nonempty,initial,step_flags,continued_after_halt,valid] 欄序回答。
([0, 1, 2, 5, 5], [是, 是, 是, 是, 是], 是, 是, [是, 是, 是, 否], 是, 否)
第二批擴展核對=([0, 1, 2, 5, 5], [是, 是, 是, 是, 是], 是, 是, [是, 是, 是, 否], 是, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-trace-qualification · candidate
完整有限轉移模型。操作=model-trace-qualification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[3,4],[2,1]],"trace":[0,6]}。請依 [trace,typed_mask,nonempty,initial,step_flags,continued_after_halt,valid] 欄序回答。
([0, 6], [是, 否], 是, 是, [否], 否, 否)
第二批擴展核對=([0, 6], [是, 否], 是, 是, [否], 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-trace-qualification · candidate
完整有限轉移模型。操作=model-trace-qualification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[4,5],[2,1]],"trace":[0,1,2,5]}。請依 [trace,typed_mask,nonempty,initial,step_flags,continued_after_halt,valid] 欄序回答。
([0, 1, 2, 5], [是, 是, 是, 是], 是, 是, [是, 是, 是], 否, 是)
第二批擴展核對=([0, 1, 2, 5], [是, 是, 是, 是], 是, 是, [是, 是, 是], 否, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-trace-qualification · candidate
完整有限轉移模型。操作=model-trace-qualification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[4,5],[2,1]],"trace":[0,4]}。請依 [trace,typed_mask,nonempty,initial,step_flags,continued_after_halt,valid] 欄序回答。
([0, 4], [是, 是], 是, 是, [否], 否, 否)
第二批擴展核對=([0, 4], [是, 是], 是, 是, [否], 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-trace-qualification · candidate
完整有限轉移模型。操作=model-trace-qualification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[3,4],[4,5],[2,1]],"trace":[0,1,2,5,5]}。請依 [trace,typed_mask,nonempty,initial,step_flags,continued_after_halt,valid] 欄序回答。
([0, 1, 2, 5, 5], [是, 是, 是, 是, 是], 是, 是, [是, 是, 是, 否], 是, 否)
第二批擴展核對=([0, 1, 2, 5, 5], [是, 是, 是, 是, 是], 是, 是, [是, 是, 是, 否], 是, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-trace-qualification · candidate
完整有限轉移模型。操作=model-trace-qualification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[3,4],[4,5],[2,1]],"trace":[0,6]}。請依 [trace,typed_mask,nonempty,initial,step_flags,continued_after_halt,valid] 欄序回答。
([0, 6], [是, 否], 是, 是, [否], 否, 否)
第二批擴展核對=([0, 6], [是, 否], 是, 是, [否], 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-trace-qualification · candidate
完整有限轉移模型。操作=model-trace-qualification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[1,1]],"trace":[0,1,2,5]}。請依 [trace,typed_mask,nonempty,initial,step_flags,continued_after_halt,valid] 欄序回答。
([0, 1, 2, 5], [是, 是, 是, 是], 是, 是, [是, 是, 是], 否, 是)
第二批擴展核對=([0, 1, 2, 5], [是, 是, 是, 是], 是, 是, [是, 是, 是], 否, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-trace-qualification · candidate
完整有限轉移模型。操作=model-trace-qualification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[1,1]],"trace":[0,4]}。請依 [trace,typed_mask,nonempty,initial,step_flags,continued_after_halt,valid] 欄序回答。
([0, 4], [是, 是], 是, 是, [否], 否, 否)
第二批擴展核對=([0, 4], [是, 是], 是, 是, [否], 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-trace-qualification · candidate
完整有限轉移模型。操作=model-trace-qualification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[3,4],[1,1]],"trace":[0,1,2,5,5]}。請依 [trace,typed_mask,nonempty,initial,step_flags,continued_after_halt,valid] 欄序回答。
([0, 1, 2, 5, 5], [是, 是, 是, 是, 是], 是, 是, [是, 是, 是, 否], 是, 否)
第二批擴展核對=([0, 1, 2, 5, 5], [是, 是, 是, 是, 是], 是, 是, [是, 是, 是, 否], 是, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-trace-qualification · candidate
完整有限轉移模型。操作=model-trace-qualification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[3,4],[1,1]],"trace":[0,6]}。請依 [trace,typed_mask,nonempty,initial,step_flags,continued_after_halt,valid] 欄序回答。
([0, 6], [是, 否], 是, 是, [否], 否, 否)
第二批擴展核對=([0, 6], [是, 否], 是, 是, [否], 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-trace-qualification · candidate
完整有限轉移模型。操作=model-trace-qualification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[4,5],[1,1]],"trace":[0,1,2,5]}。請依 [trace,typed_mask,nonempty,initial,step_flags,continued_after_halt,valid] 欄序回答。
([0, 1, 2, 5], [是, 是, 是, 是], 是, 是, [是, 是, 是], 否, 是)
第二批擴展核對=([0, 1, 2, 5], [是, 是, 是, 是], 是, 是, [是, 是, 是], 否, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-trace-qualification · candidate
完整有限轉移模型。操作=model-trace-qualification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[4,5],[1,1]],"trace":[0,4]}。請依 [trace,typed_mask,nonempty,initial,step_flags,continued_after_halt,valid] 欄序回答。
([0, 4], [是, 是], 是, 是, [否], 否, 否)
第二批擴展核對=([0, 4], [是, 是], 是, 是, [否], 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-trace-qualification · candidate
完整有限轉移模型。操作=model-trace-qualification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[3,4],[4,5],[1,1]],"trace":[0,1,2,5,5]}。請依 [trace,typed_mask,nonempty,initial,step_flags,continued_after_halt,valid] 欄序回答。
([0, 1, 2, 5, 5], [是, 是, 是, 是, 是], 是, 是, [是, 是, 是, 否], 是, 否)
第二批擴展核對=([0, 1, 2, 5, 5], [是, 是, 是, 是, 是], 是, 是, [是, 是, 是, 否], 是, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-trace-qualification · candidate
完整有限轉移模型。操作=model-trace-qualification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[3,4],[4,5],[1,1]],"trace":[0,6]}。請依 [trace,typed_mask,nonempty,initial,step_flags,continued_after_halt,valid] 欄序回答。
([0, 6], [是, 否], 是, 是, [否], 否, 否)
第二批擴展核對=([0, 6], [是, 否], 是, 是, [否], 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-trace-qualification · candidate
完整有限轉移模型。操作=model-trace-qualification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[2,1],[1,1]],"trace":[0,1,2,5]}。請依 [trace,typed_mask,nonempty,initial,step_flags,continued_after_halt,valid] 欄序回答。
([0, 1, 2, 5], [是, 是, 是, 是], 是, 是, [是, 是, 是], 否, 是)
第二批擴展核對=([0, 1, 2, 5], [是, 是, 是, 是], 是, 是, [是, 是, 是], 否, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-trace-qualification · candidate
完整有限轉移模型。操作=model-halt-stuck-classification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5]]}。請依 [reachable,reachable_halt,reachable_stuck,reachable_active] 欄序回答。
([0, 1, 2, 5], [5], [], [0, 1, 2])
第二批擴展核對=([0, 1, 2, 5], [5], [], [0, 1, 2])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-halt-stuck-classification · candidate
完整有限轉移模型。操作=model-halt-stuck-classification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3]]}。請依 [reachable,reachable_halt,reachable_stuck,reachable_active] 欄序回答。
([0, 1, 2, 3, 5], [5], [3], [0, 1, 2])
第二批擴展核對=([0, 1, 2, 3, 5], [5], [3], [0, 1, 2])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-halt-stuck-classification · candidate
完整有限轉移模型。操作=model-halt-stuck-classification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[3,4]]}。請依 [reachable,reachable_halt,reachable_stuck,reachable_active] 欄序回答。
([0, 1, 2, 5], [5], [], [0, 1, 2])
第二批擴展核對=([0, 1, 2, 5], [5], [], [0, 1, 2])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-halt-stuck-classification · candidate
完整有限轉移模型。操作=model-halt-stuck-classification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[3,4]]}。請依 [reachable,reachable_halt,reachable_stuck,reachable_active] 欄序回答。
([0, 1, 2, 3, 4, 5], [5], [4], [0, 1, 2, 3])
第二批擴展核對=([0, 1, 2, 3, 4, 5], [5], [4], [0, 1, 2, 3])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-halt-stuck-classification · candidate
完整有限轉移模型。操作=model-halt-stuck-classification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[4,5]]}。請依 [reachable,reachable_halt,reachable_stuck,reachable_active] 欄序回答。
([0, 1, 2, 5], [5], [], [0, 1, 2])
第二批擴展核對=([0, 1, 2, 5], [5], [], [0, 1, 2])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-halt-stuck-classification · candidate
完整有限轉移模型。操作=model-halt-stuck-classification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[4,5]]}。請依 [reachable,reachable_halt,reachable_stuck,reachable_active] 欄序回答。
([0, 1, 2, 3, 5], [5], [3], [0, 1, 2])
第二批擴展核對=([0, 1, 2, 3, 5], [5], [3], [0, 1, 2])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-halt-stuck-classification · candidate
完整有限轉移模型。操作=model-halt-stuck-classification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[3,4],[4,5]]}。請依 [reachable,reachable_halt,reachable_stuck,reachable_active] 欄序回答。
([0, 1, 2, 5], [5], [], [0, 1, 2])
第二批擴展核對=([0, 1, 2, 5], [5], [], [0, 1, 2])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-halt-stuck-classification · candidate
完整有限轉移模型。操作=model-halt-stuck-classification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[3,4],[4,5]]}。請依 [reachable,reachable_halt,reachable_stuck,reachable_active] 欄序回答。
([0, 1, 2, 3, 4, 5], [5], [], [0, 1, 2, 3, 4])
第二批擴展核對=([0, 1, 2, 3, 4, 5], [5], [], [0, 1, 2, 3, 4])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-halt-stuck-classification · candidate
完整有限轉移模型。操作=model-halt-stuck-classification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[2,1]]}。請依 [reachable,reachable_halt,reachable_stuck,reachable_active] 欄序回答。
([0, 1, 2, 5], [5], [], [0, 1, 2])
第二批擴展核對=([0, 1, 2, 5], [5], [], [0, 1, 2])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-halt-stuck-classification · candidate
完整有限轉移模型。操作=model-halt-stuck-classification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[2,1]]}。請依 [reachable,reachable_halt,reachable_stuck,reachable_active] 欄序回答。
([0, 1, 2, 3, 5], [5], [3], [0, 1, 2])
第二批擴展核對=([0, 1, 2, 3, 5], [5], [3], [0, 1, 2])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-halt-stuck-classification · candidate
完整有限轉移模型。操作=model-halt-stuck-classification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[3,4],[2,1]]}。請依 [reachable,reachable_halt,reachable_stuck,reachable_active] 欄序回答。
([0, 1, 2, 5], [5], [], [0, 1, 2])
第二批擴展核對=([0, 1, 2, 5], [5], [], [0, 1, 2])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-halt-stuck-classification · candidate
完整有限轉移模型。操作=model-halt-stuck-classification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[3,4],[2,1]]}。請依 [reachable,reachable_halt,reachable_stuck,reachable_active] 欄序回答。
([0, 1, 2, 3, 4, 5], [5], [4], [0, 1, 2, 3])
第二批擴展核對=([0, 1, 2, 3, 4, 5], [5], [4], [0, 1, 2, 3])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-halt-stuck-classification · candidate
完整有限轉移模型。操作=model-halt-stuck-classification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[4,5],[2,1]]}。請依 [reachable,reachable_halt,reachable_stuck,reachable_active] 欄序回答。
([0, 1, 2, 5], [5], [], [0, 1, 2])
第二批擴展核對=([0, 1, 2, 5], [5], [], [0, 1, 2])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-halt-stuck-classification · candidate
完整有限轉移模型。操作=model-halt-stuck-classification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[4,5],[2,1]]}。請依 [reachable,reachable_halt,reachable_stuck,reachable_active] 欄序回答。
([0, 1, 2, 3, 5], [5], [3], [0, 1, 2])
第二批擴展核對=([0, 1, 2, 3, 5], [5], [3], [0, 1, 2])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-halt-stuck-classification · candidate
完整有限轉移模型。操作=model-halt-stuck-classification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[3,4],[4,5],[2,1]]}。請依 [reachable,reachable_halt,reachable_stuck,reachable_active] 欄序回答。
([0, 1, 2, 5], [5], [], [0, 1, 2])
第二批擴展核對=([0, 1, 2, 5], [5], [], [0, 1, 2])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-halt-stuck-classification · candidate
完整有限轉移模型。操作=model-halt-stuck-classification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[3,4],[4,5],[2,1]]}。請依 [reachable,reachable_halt,reachable_stuck,reachable_active] 欄序回答。
([0, 1, 2, 3, 4, 5], [5], [], [0, 1, 2, 3, 4])
第二批擴展核對=([0, 1, 2, 3, 4, 5], [5], [], [0, 1, 2, 3, 4])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-halt-stuck-classification · candidate
完整有限轉移模型。操作=model-halt-stuck-classification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[1,1]]}。請依 [reachable,reachable_halt,reachable_stuck,reachable_active] 欄序回答。
([0, 1, 2, 5], [5], [], [0, 1, 2])
第二批擴展核對=([0, 1, 2, 5], [5], [], [0, 1, 2])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-halt-stuck-classification · candidate
完整有限轉移模型。操作=model-halt-stuck-classification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[1,1]]}。請依 [reachable,reachable_halt,reachable_stuck,reachable_active] 欄序回答。
([0, 1, 2, 3, 5], [5], [3], [0, 1, 2])
第二批擴展核對=([0, 1, 2, 3, 5], [5], [3], [0, 1, 2])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-halt-stuck-classification · candidate
完整有限轉移模型。操作=model-halt-stuck-classification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[3,4],[1,1]]}。請依 [reachable,reachable_halt,reachable_stuck,reachable_active] 欄序回答。
([0, 1, 2, 5], [5], [], [0, 1, 2])
第二批擴展核對=([0, 1, 2, 5], [5], [], [0, 1, 2])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-halt-stuck-classification · candidate
完整有限轉移模型。操作=model-halt-stuck-classification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[3,4],[1,1]]}。請依 [reachable,reachable_halt,reachable_stuck,reachable_active] 欄序回答。
([0, 1, 2, 3, 4, 5], [5], [4], [0, 1, 2, 3])
第二批擴展核對=([0, 1, 2, 3, 4, 5], [5], [4], [0, 1, 2, 3])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-halt-stuck-classification · candidate
完整有限轉移模型。操作=model-halt-stuck-classification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[4,5],[1,1]]}。請依 [reachable,reachable_halt,reachable_stuck,reachable_active] 欄序回答。
([0, 1, 2, 5], [5], [], [0, 1, 2])
第二批擴展核對=([0, 1, 2, 5], [5], [], [0, 1, 2])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-halt-stuck-classification · candidate
完整有限轉移模型。操作=model-halt-stuck-classification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[4,5],[1,1]]}。請依 [reachable,reachable_halt,reachable_stuck,reachable_active] 欄序回答。
([0, 1, 2, 3, 5], [5], [3], [0, 1, 2])
第二批擴展核對=([0, 1, 2, 3, 5], [5], [3], [0, 1, 2])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-halt-stuck-classification · candidate
完整有限轉移模型。操作=model-halt-stuck-classification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[3,4],[4,5],[1,1]]}。請依 [reachable,reachable_halt,reachable_stuck,reachable_active] 欄序回答。
([0, 1, 2, 5], [5], [], [0, 1, 2])
第二批擴展核對=([0, 1, 2, 5], [5], [], [0, 1, 2])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-halt-stuck-classification · candidate
完整有限轉移模型。操作=model-halt-stuck-classification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[3,4],[4,5],[1,1]]}。請依 [reachable,reachable_halt,reachable_stuck,reachable_active] 欄序回答。
([0, 1, 2, 3, 4, 5], [5], [], [0, 1, 2, 3, 4])
第二批擴展核對=([0, 1, 2, 3, 4, 5], [5], [], [0, 1, 2, 3, 4])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-halt-stuck-classification · candidate
完整有限轉移模型。操作=model-halt-stuck-classification；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[2,1],[1,1]]}。請依 [reachable,reachable_halt,reachable_stuck,reachable_active] 欄序回答。
([0, 1, 2, 5], [5], [], [0, 1, 2])
第二批擴展核對=([0, 1, 2, 5], [5], [], [0, 1, 2])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-halt-stuck-classification · candidate
完整有限轉移模型。操作=model-cycle-termination-risk；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5]]}。請依 [reachable,stuck,cycle,all_paths_halt,classification] 欄序回答。
([0, 1, 2, 5], [], 否, 是, 有限模型全部路徑到達halt)
第二批擴展核對=([0, 1, 2, 5], [], 否, 是, 有限模型全部路徑到達halt)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-cycle-termination-risk · candidate
完整有限轉移模型。操作=model-cycle-termination-risk；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3]]}。請依 [reachable,stuck,cycle,all_paths_halt,classification] 欄序回答。
([0, 1, 2, 3, 5], [3], 否, 否, reachable stuck非停止狀態)
第二批擴展核對=([0, 1, 2, 3, 5], [3], 否, 否, reachable stuck非停止狀態)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-cycle-termination-risk · candidate
完整有限轉移模型。操作=model-cycle-termination-risk；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[3,4]]}。請依 [reachable,stuck,cycle,all_paths_halt,classification] 欄序回答。
([0, 1, 2, 5], [], 否, 是, 有限模型全部路徑到達halt)
第二批擴展核對=([0, 1, 2, 5], [], 否, 是, 有限模型全部路徑到達halt)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-cycle-termination-risk · candidate
完整有限轉移模型。操作=model-cycle-termination-risk；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[3,4]]}。請依 [reachable,stuck,cycle,all_paths_halt,classification] 欄序回答。
([0, 1, 2, 3, 4, 5], [4], 否, 否, reachable stuck非停止狀態)
第二批擴展核對=([0, 1, 2, 3, 4, 5], [4], 否, 否, reachable stuck非停止狀態)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-cycle-termination-risk · candidate
完整有限轉移模型。操作=model-cycle-termination-risk；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[4,5]]}。請依 [reachable,stuck,cycle,all_paths_halt,classification] 欄序回答。
([0, 1, 2, 5], [], 否, 是, 有限模型全部路徑到達halt)
第二批擴展核對=([0, 1, 2, 5], [], 否, 是, 有限模型全部路徑到達halt)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-cycle-termination-risk · candidate
完整有限轉移模型。操作=model-cycle-termination-risk；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[4,5]]}。請依 [reachable,stuck,cycle,all_paths_halt,classification] 欄序回答。
([0, 1, 2, 3, 5], [3], 否, 否, reachable stuck非停止狀態)
第二批擴展核對=([0, 1, 2, 3, 5], [3], 否, 否, reachable stuck非停止狀態)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-cycle-termination-risk · candidate
完整有限轉移模型。操作=model-cycle-termination-risk；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[3,4],[4,5]]}。請依 [reachable,stuck,cycle,all_paths_halt,classification] 欄序回答。
([0, 1, 2, 5], [], 否, 是, 有限模型全部路徑到達halt)
第二批擴展核對=([0, 1, 2, 5], [], 否, 是, 有限模型全部路徑到達halt)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-cycle-termination-risk · candidate
完整有限轉移模型。操作=model-cycle-termination-risk；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[3,4],[4,5]]}。請依 [reachable,stuck,cycle,all_paths_halt,classification] 欄序回答。
([0, 1, 2, 3, 4, 5], [], 否, 是, 有限模型全部路徑到達halt)
第二批擴展核對=([0, 1, 2, 3, 4, 5], [], 否, 是, 有限模型全部路徑到達halt)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-cycle-termination-risk · candidate
完整有限轉移模型。操作=model-cycle-termination-risk；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[2,1]]}。請依 [reachable,stuck,cycle,all_paths_halt,classification] 欄序回答。
([0, 1, 2, 5], [], 是, 否, reachable非停止cycle)
第二批擴展核對=([0, 1, 2, 5], [], 是, 否, reachable非停止cycle)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-cycle-termination-risk · candidate
完整有限轉移模型。操作=model-cycle-termination-risk；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[2,1]]}。請依 [reachable,stuck,cycle,all_paths_halt,classification] 欄序回答。
([0, 1, 2, 3, 5], [3], 是, 否, reachable非停止cycle)
第二批擴展核對=([0, 1, 2, 3, 5], [3], 是, 否, reachable非停止cycle)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-cycle-termination-risk · candidate
完整有限轉移模型。操作=model-cycle-termination-risk；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[3,4],[2,1]]}。請依 [reachable,stuck,cycle,all_paths_halt,classification] 欄序回答。
([0, 1, 2, 5], [], 是, 否, reachable非停止cycle)
第二批擴展核對=([0, 1, 2, 5], [], 是, 否, reachable非停止cycle)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-cycle-termination-risk · candidate
完整有限轉移模型。操作=model-cycle-termination-risk；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[3,4],[2,1]]}。請依 [reachable,stuck,cycle,all_paths_halt,classification] 欄序回答。
([0, 1, 2, 3, 4, 5], [4], 是, 否, reachable非停止cycle)
第二批擴展核對=([0, 1, 2, 3, 4, 5], [4], 是, 否, reachable非停止cycle)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-cycle-termination-risk · candidate
完整有限轉移模型。操作=model-cycle-termination-risk；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[4,5],[2,1]]}。請依 [reachable,stuck,cycle,all_paths_halt,classification] 欄序回答。
([0, 1, 2, 5], [], 是, 否, reachable非停止cycle)
第二批擴展核對=([0, 1, 2, 5], [], 是, 否, reachable非停止cycle)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-cycle-termination-risk · candidate
完整有限轉移模型。操作=model-cycle-termination-risk；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[4,5],[2,1]]}。請依 [reachable,stuck,cycle,all_paths_halt,classification] 欄序回答。
([0, 1, 2, 3, 5], [3], 是, 否, reachable非停止cycle)
第二批擴展核對=([0, 1, 2, 3, 5], [3], 是, 否, reachable非停止cycle)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-cycle-termination-risk · candidate
完整有限轉移模型。操作=model-cycle-termination-risk；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[3,4],[4,5],[2,1]]}。請依 [reachable,stuck,cycle,all_paths_halt,classification] 欄序回答。
([0, 1, 2, 5], [], 是, 否, reachable非停止cycle)
第二批擴展核對=([0, 1, 2, 5], [], 是, 否, reachable非停止cycle)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-cycle-termination-risk · candidate
完整有限轉移模型。操作=model-cycle-termination-risk；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[3,4],[4,5],[2,1]]}。請依 [reachable,stuck,cycle,all_paths_halt,classification] 欄序回答。
([0, 1, 2, 3, 4, 5], [], 是, 否, reachable非停止cycle)
第二批擴展核對=([0, 1, 2, 3, 4, 5], [], 是, 否, reachable非停止cycle)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-cycle-termination-risk · candidate
完整有限轉移模型。操作=model-cycle-termination-risk；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[1,1]]}。請依 [reachable,stuck,cycle,all_paths_halt,classification] 欄序回答。
([0, 1, 2, 5], [], 是, 否, reachable非停止cycle)
第二批擴展核對=([0, 1, 2, 5], [], 是, 否, reachable非停止cycle)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-cycle-termination-risk · candidate
完整有限轉移模型。操作=model-cycle-termination-risk；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[1,1]]}。請依 [reachable,stuck,cycle,all_paths_halt,classification] 欄序回答。
([0, 1, 2, 3, 5], [3], 是, 否, reachable非停止cycle)
第二批擴展核對=([0, 1, 2, 3, 5], [3], 是, 否, reachable非停止cycle)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-cycle-termination-risk · candidate
完整有限轉移模型。操作=model-cycle-termination-risk；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[3,4],[1,1]]}。請依 [reachable,stuck,cycle,all_paths_halt,classification] 欄序回答。
([0, 1, 2, 5], [], 是, 否, reachable非停止cycle)
第二批擴展核對=([0, 1, 2, 5], [], 是, 否, reachable非停止cycle)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-cycle-termination-risk · candidate
完整有限轉移模型。操作=model-cycle-termination-risk；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[3,4],[1,1]]}。請依 [reachable,stuck,cycle,all_paths_halt,classification] 欄序回答。
([0, 1, 2, 3, 4, 5], [4], 是, 否, reachable非停止cycle)
第二批擴展核對=([0, 1, 2, 3, 4, 5], [4], 是, 否, reachable非停止cycle)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-cycle-termination-risk · candidate
完整有限轉移模型。操作=model-cycle-termination-risk；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[4,5],[1,1]]}。請依 [reachable,stuck,cycle,all_paths_halt,classification] 欄序回答。
([0, 1, 2, 5], [], 是, 否, reachable非停止cycle)
第二批擴展核對=([0, 1, 2, 5], [], 是, 否, reachable非停止cycle)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-cycle-termination-risk · candidate
完整有限轉移模型。操作=model-cycle-termination-risk；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[4,5],[1,1]]}。請依 [reachable,stuck,cycle,all_paths_halt,classification] 欄序回答。
([0, 1, 2, 3, 5], [3], 是, 否, reachable非停止cycle)
第二批擴展核對=([0, 1, 2, 3, 5], [3], 是, 否, reachable非停止cycle)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-cycle-termination-risk · candidate
完整有限轉移模型。操作=model-cycle-termination-risk；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[3,4],[4,5],[1,1]]}。請依 [reachable,stuck,cycle,all_paths_halt,classification] 欄序回答。
([0, 1, 2, 5], [], 是, 否, reachable非停止cycle)
第二批擴展核對=([0, 1, 2, 5], [], 是, 否, reachable非停止cycle)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-cycle-termination-risk · candidate
完整有限轉移模型。操作=model-cycle-termination-risk；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[0,3],[3,4],[4,5],[1,1]]}。請依 [reachable,stuck,cycle,all_paths_halt,classification] 欄序回答。
([0, 1, 2, 3, 4, 5], [], 是, 否, reachable非停止cycle)
第二批擴展核對=([0, 1, 2, 3, 4, 5], [], 是, 否, reachable非停止cycle)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-cycle-termination-risk · candidate
完整有限轉移模型。操作=model-cycle-termination-risk；資料={"n":6,"init":[0],"halt":[5],"steps":[[0,1],[1,2],[2,5],[2,1],[1,1]]}。請依 [reachable,stuck,cycle,all_paths_halt,classification] 欄序回答。
([0, 1, 2, 5], [], 是, 否, reachable非停止cycle)
第二批擴展核對=([0, 1, 2, 5], [], 是, 否, reachable非停止cycle)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；halt與stuck分離；有限prefix不證一般終止。
抽象計算模型 · qf-ext19-model-cycle-termination-risk · candidate