確定有限自動機基礎 · 脈衝 R07
本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261014-advance-20261101-r07-finite-automaton-foundations · 2026-10-14 · 100 題
1. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-qualification；資料={"state_count":3,"alphabet_count":2,"transition":[[0,0],[0,0],[0,0]],"start":0,"accepting":[0]}。請依 [state_count,alphabet_count,start,accepting,transition_cell_count,qualified,certificate] 欄序回答。
查看答案與解釋
(3, 2, 0, [0], 6, 是, complete_total_deterministic_table)
Wave5根節點核對=(3, 2, 0, [0], 6, 是, complete_total_deterministic_table)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-qualification · candidate
2. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-qualification；資料={"state_count":3,"alphabet_count":2,"transition":[[1,0],[0,0],[0,0]],"start":1,"accepting":[1]}。請依 [state_count,alphabet_count,start,accepting,transition_cell_count,qualified,certificate] 欄序回答。
查看答案與解釋
(3, 2, 1, [1], 6, 是, complete_total_deterministic_table)
Wave5根節點核對=(3, 2, 1, [1], 6, 是, complete_total_deterministic_table)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-qualification · candidate
3. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-qualification；資料={"state_count":3,"alphabet_count":2,"transition":[[2,0],[0,0],[0,0]],"start":2,"accepting":[2]}。請依 [state_count,alphabet_count,start,accepting,transition_cell_count,qualified,certificate] 欄序回答。
查看答案與解釋
(3, 2, 2, [2], 6, 是, complete_total_deterministic_table)
Wave5根節點核對=(3, 2, 2, [2], 6, 是, complete_total_deterministic_table)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-qualification · candidate
4. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-qualification；資料={"state_count":3,"alphabet_count":2,"transition":[[0,1],[0,0],[0,0]],"start":0,"accepting":[0]}。請依 [state_count,alphabet_count,start,accepting,transition_cell_count,qualified,certificate] 欄序回答。
查看答案與解釋
(3, 2, 0, [0], 6, 是, complete_total_deterministic_table)
Wave5根節點核對=(3, 2, 0, [0], 6, 是, complete_total_deterministic_table)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-qualification · candidate
5. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-qualification；資料={"state_count":3,"alphabet_count":2,"transition":[[1,1],[0,0],[0,0]],"start":1,"accepting":[1]}。請依 [state_count,alphabet_count,start,accepting,transition_cell_count,qualified,certificate] 欄序回答。
查看答案與解釋
(3, 2, 1, [1], 6, 是, complete_total_deterministic_table)
Wave5根節點核對=(3, 2, 1, [1], 6, 是, complete_total_deterministic_table)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-qualification · candidate
6. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-qualification；資料={"state_count":3,"alphabet_count":2,"transition":[[2,1],[0,0],[0,0]],"start":2,"accepting":[2]}。請依 [state_count,alphabet_count,start,accepting,transition_cell_count,qualified,certificate] 欄序回答。
查看答案與解釋
(3, 2, 2, [2], 6, 是, complete_total_deterministic_table)
Wave5根節點核對=(3, 2, 2, [2], 6, 是, complete_total_deterministic_table)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-qualification · candidate
7. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-qualification；資料={"state_count":3,"alphabet_count":2,"transition":[[0,2],[0,0],[0,0]],"start":0,"accepting":[0]}。請依 [state_count,alphabet_count,start,accepting,transition_cell_count,qualified,certificate] 欄序回答。
查看答案與解釋
(3, 2, 0, [0], 6, 是, complete_total_deterministic_table)
Wave5根節點核對=(3, 2, 0, [0], 6, 是, complete_total_deterministic_table)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-qualification · candidate
8. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-qualification；資料={"state_count":3,"alphabet_count":2,"transition":[[1,2],[0,0],[0,0]],"start":1,"accepting":[1]}。請依 [state_count,alphabet_count,start,accepting,transition_cell_count,qualified,certificate] 欄序回答。
查看答案與解釋
(3, 2, 1, [1], 6, 是, complete_total_deterministic_table)
Wave5根節點核對=(3, 2, 1, [1], 6, 是, complete_total_deterministic_table)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-qualification · candidate
9. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-qualification；資料={"state_count":3,"alphabet_count":2,"transition":[[2,2],[0,0],[0,0]],"start":2,"accepting":[2]}。請依 [state_count,alphabet_count,start,accepting,transition_cell_count,qualified,certificate] 欄序回答。
查看答案與解釋
(3, 2, 2, [2], 6, 是, complete_total_deterministic_table)
Wave5根節點核對=(3, 2, 2, [2], 6, 是, complete_total_deterministic_table)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-qualification · candidate
10. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-qualification；資料={"state_count":3,"alphabet_count":2,"transition":[[0,0],[1,0],[0,0]],"start":0,"accepting":[0]}。請依 [state_count,alphabet_count,start,accepting,transition_cell_count,qualified,certificate] 欄序回答。
查看答案與解釋
(3, 2, 0, [0], 6, 是, complete_total_deterministic_table)
Wave5根節點核對=(3, 2, 0, [0], 6, 是, complete_total_deterministic_table)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-qualification · candidate
11. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-qualification；資料={"state_count":3,"alphabet_count":2,"transition":[[1,0],[1,0],[0,0]],"start":1,"accepting":[1]}。請依 [state_count,alphabet_count,start,accepting,transition_cell_count,qualified,certificate] 欄序回答。
查看答案與解釋
(3, 2, 1, [1], 6, 是, complete_total_deterministic_table)
Wave5根節點核對=(3, 2, 1, [1], 6, 是, complete_total_deterministic_table)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-qualification · candidate
12. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-qualification；資料={"state_count":3,"alphabet_count":2,"transition":[[2,0],[1,0],[0,0]],"start":2,"accepting":[2]}。請依 [state_count,alphabet_count,start,accepting,transition_cell_count,qualified,certificate] 欄序回答。
查看答案與解釋
(3, 2, 2, [2], 6, 是, complete_total_deterministic_table)
Wave5根節點核對=(3, 2, 2, [2], 6, 是, complete_total_deterministic_table)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-qualification · candidate
13. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-qualification；資料={"state_count":3,"alphabet_count":2,"transition":[[0,1],[1,0],[0,0]],"start":0,"accepting":[0]}。請依 [state_count,alphabet_count,start,accepting,transition_cell_count,qualified,certificate] 欄序回答。
查看答案與解釋
(3, 2, 0, [0], 6, 是, complete_total_deterministic_table)
Wave5根節點核對=(3, 2, 0, [0], 6, 是, complete_total_deterministic_table)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-qualification · candidate
14. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-qualification；資料={"state_count":3,"alphabet_count":2,"transition":[[1,1],[1,0],[0,0]],"start":1,"accepting":[1]}。請依 [state_count,alphabet_count,start,accepting,transition_cell_count,qualified,certificate] 欄序回答。
查看答案與解釋
(3, 2, 1, [1], 6, 是, complete_total_deterministic_table)
Wave5根節點核對=(3, 2, 1, [1], 6, 是, complete_total_deterministic_table)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-qualification · candidate
15. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-qualification；資料={"state_count":3,"alphabet_count":2,"transition":[[2,1],[1,0],[0,0]],"start":2,"accepting":[2]}。請依 [state_count,alphabet_count,start,accepting,transition_cell_count,qualified,certificate] 欄序回答。
查看答案與解釋
(3, 2, 2, [2], 6, 是, complete_total_deterministic_table)
Wave5根節點核對=(3, 2, 2, [2], 6, 是, complete_total_deterministic_table)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-qualification · candidate
16. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-qualification；資料={"state_count":3,"alphabet_count":2,"transition":[[0,2],[1,0],[0,0]],"start":0,"accepting":[0]}。請依 [state_count,alphabet_count,start,accepting,transition_cell_count,qualified,certificate] 欄序回答。
查看答案與解釋
(3, 2, 0, [0], 6, 是, complete_total_deterministic_table)
Wave5根節點核對=(3, 2, 0, [0], 6, 是, complete_total_deterministic_table)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-qualification · candidate
17. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-qualification；資料={"state_count":3,"alphabet_count":2,"transition":[[1,2],[1,0],[0,0]],"start":1,"accepting":[1]}。請依 [state_count,alphabet_count,start,accepting,transition_cell_count,qualified,certificate] 欄序回答。
查看答案與解釋
(3, 2, 1, [1], 6, 是, complete_total_deterministic_table)
Wave5根節點核對=(3, 2, 1, [1], 6, 是, complete_total_deterministic_table)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-qualification · candidate
18. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-qualification；資料={"state_count":3,"alphabet_count":2,"transition":[[2,2],[1,0],[0,0]],"start":2,"accepting":[2]}。請依 [state_count,alphabet_count,start,accepting,transition_cell_count,qualified,certificate] 欄序回答。
查看答案與解釋
(3, 2, 2, [2], 6, 是, complete_total_deterministic_table)
Wave5根節點核對=(3, 2, 2, [2], 6, 是, complete_total_deterministic_table)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-qualification · candidate
19. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-qualification；資料={"state_count":3,"alphabet_count":2,"transition":[[0,0],[2,0],[0,0]],"start":0,"accepting":[0]}。請依 [state_count,alphabet_count,start,accepting,transition_cell_count,qualified,certificate] 欄序回答。
查看答案與解釋
(3, 2, 0, [0], 6, 是, complete_total_deterministic_table)
Wave5根節點核對=(3, 2, 0, [0], 6, 是, complete_total_deterministic_table)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-qualification · candidate
20. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-qualification；資料={"state_count":3,"alphabet_count":2,"transition":[[1,0],[2,0],[0,0]],"start":1,"accepting":[1]}。請依 [state_count,alphabet_count,start,accepting,transition_cell_count,qualified,certificate] 欄序回答。
查看答案與解釋
(3, 2, 1, [1], 6, 是, complete_total_deterministic_table)
Wave5根節點核對=(3, 2, 1, [1], 6, 是, complete_total_deterministic_table)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-qualification · candidate
21. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-qualification；資料={"state_count":3,"alphabet_count":2,"transition":[[2,0],[2,0],[0,0]],"start":2,"accepting":[2]}。請依 [state_count,alphabet_count,start,accepting,transition_cell_count,qualified,certificate] 欄序回答。
查看答案與解釋
(3, 2, 2, [2], 6, 是, complete_total_deterministic_table)
Wave5根節點核對=(3, 2, 2, [2], 6, 是, complete_total_deterministic_table)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-qualification · candidate
22. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-qualification；資料={"state_count":3,"alphabet_count":2,"transition":[[0,1],[2,0],[0,0]],"start":0,"accepting":[0]}。請依 [state_count,alphabet_count,start,accepting,transition_cell_count,qualified,certificate] 欄序回答。
查看答案與解釋
(3, 2, 0, [0], 6, 是, complete_total_deterministic_table)
Wave5根節點核對=(3, 2, 0, [0], 6, 是, complete_total_deterministic_table)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-qualification · candidate
23. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-qualification；資料={"state_count":3,"alphabet_count":2,"transition":[[1,1],[2,0],[0,0]],"start":1,"accepting":[1]}。請依 [state_count,alphabet_count,start,accepting,transition_cell_count,qualified,certificate] 欄序回答。
查看答案與解釋
(3, 2, 1, [1], 6, 是, complete_total_deterministic_table)
Wave5根節點核對=(3, 2, 1, [1], 6, 是, complete_total_deterministic_table)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-qualification · candidate
24. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-qualification；資料={"state_count":3,"alphabet_count":2,"transition":[[2,1],[2,0],[0,0]],"start":2,"accepting":[2]}。請依 [state_count,alphabet_count,start,accepting,transition_cell_count,qualified,certificate] 欄序回答。
查看答案與解釋
(3, 2, 2, [2], 6, 是, complete_total_deterministic_table)
Wave5根節點核對=(3, 2, 2, [2], 6, 是, complete_total_deterministic_table)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-qualification · candidate
25. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-qualification；資料={"state_count":3,"alphabet_count":2,"transition":[[0,2],[2,0],[0,0]],"start":0,"accepting":[0]}。請依 [state_count,alphabet_count,start,accepting,transition_cell_count,qualified,certificate] 欄序回答。
查看答案與解釋
(3, 2, 0, [0], 6, 是, complete_total_deterministic_table)
Wave5根節點核對=(3, 2, 0, [0], 6, 是, complete_total_deterministic_table)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-qualification · candidate
26. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-word-trace；資料={"state_count":3,"alphabet_count":2,"transition":[[0,0],[0,0],[0,0]],"start":0,"accepting":[0],"word":[0,0,0,0,0]}。請依 [word,state_trace,final_state] 欄序回答。
查看答案與解釋
([0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0], 0)
Wave5根節點核對=([0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0], 0)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-word-trace · candidate
27. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-word-trace；資料={"state_count":3,"alphabet_count":2,"transition":[[1,0],[0,0],[0,0]],"start":1,"accepting":[1],"word":[1,0,0,0,0]}。請依 [word,state_trace,final_state] 欄序回答。
查看答案與解釋
([1, 0, 0, 0, 0], [1, 0, 1, 0, 1, 0], 0)
Wave5根節點核對=([1, 0, 0, 0, 0], [1, 0, 1, 0, 1, 0], 0)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-word-trace · candidate
28. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-word-trace；資料={"state_count":3,"alphabet_count":2,"transition":[[2,0],[0,0],[0,0]],"start":2,"accepting":[2],"word":[0,1,0,0,0]}。請依 [word,state_trace,final_state] 欄序回答。
查看答案與解釋
([0, 1, 0, 0, 0], [2, 0, 0, 2, 0, 2], 2)
Wave5根節點核對=([0, 1, 0, 0, 0], [2, 0, 0, 2, 0, 2], 2)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-word-trace · candidate
29. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-word-trace；資料={"state_count":3,"alphabet_count":2,"transition":[[0,1],[0,0],[0,0]],"start":0,"accepting":[0],"word":[1,1,0,0,0]}。請依 [word,state_trace,final_state] 欄序回答。
查看答案與解釋
([1, 1, 0, 0, 0], [0, 1, 0, 0, 0, 0], 0)
Wave5根節點核對=([1, 1, 0, 0, 0], [0, 1, 0, 0, 0, 0], 0)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-word-trace · candidate
30. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-word-trace；資料={"state_count":3,"alphabet_count":2,"transition":[[1,1],[0,0],[0,0]],"start":1,"accepting":[1],"word":[0,0,1,0,0]}。請依 [word,state_trace,final_state] 欄序回答。
查看答案與解釋
([0, 0, 1, 0, 0], [1, 0, 1, 0, 1, 0], 0)
Wave5根節點核對=([0, 0, 1, 0, 0], [1, 0, 1, 0, 1, 0], 0)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-word-trace · candidate
31. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-word-trace；資料={"state_count":3,"alphabet_count":2,"transition":[[2,1],[0,0],[0,0]],"start":2,"accepting":[2],"word":[1,0,1,0,0]}。請依 [word,state_trace,final_state] 欄序回答。
查看答案與解釋
([1, 0, 1, 0, 0], [2, 0, 2, 0, 2, 0], 0)
Wave5根節點核對=([1, 0, 1, 0, 0], [2, 0, 2, 0, 2, 0], 0)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-word-trace · candidate
32. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-word-trace；資料={"state_count":3,"alphabet_count":2,"transition":[[0,2],[0,0],[0,0]],"start":0,"accepting":[0],"word":[0,1,1,0,0]}。請依 [word,state_trace,final_state] 欄序回答。
查看答案與解釋
([0, 1, 1, 0, 0], [0, 0, 2, 0, 0, 0], 0)
Wave5根節點核對=([0, 1, 1, 0, 0], [0, 0, 2, 0, 0, 0], 0)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-word-trace · candidate
33. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-word-trace；資料={"state_count":3,"alphabet_count":2,"transition":[[1,2],[0,0],[0,0]],"start":1,"accepting":[1],"word":[1,1,1,0,0]}。請依 [word,state_trace,final_state] 欄序回答。
查看答案與解釋
([1, 1, 1, 0, 0], [1, 0, 2, 0, 1, 0], 0)
Wave5根節點核對=([1, 1, 1, 0, 0], [1, 0, 2, 0, 1, 0], 0)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-word-trace · candidate
34. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-word-trace；資料={"state_count":3,"alphabet_count":2,"transition":[[2,2],[0,0],[0,0]],"start":2,"accepting":[2],"word":[0,0,0,1,0]}。請依 [word,state_trace,final_state] 欄序回答。
查看答案與解釋
([0, 0, 0, 1, 0], [2, 0, 2, 0, 2, 0], 0)
Wave5根節點核對=([0, 0, 0, 1, 0], [2, 0, 2, 0, 2, 0], 0)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-word-trace · candidate
35. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-word-trace；資料={"state_count":3,"alphabet_count":2,"transition":[[0,0],[1,0],[0,0]],"start":0,"accepting":[0],"word":[1,0,0,1,0]}。請依 [word,state_trace,final_state] 欄序回答。
查看答案與解釋
([1, 0, 0, 1, 0], [0, 0, 0, 0, 0, 0], 0)
Wave5根節點核對=([1, 0, 0, 1, 0], [0, 0, 0, 0, 0, 0], 0)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-word-trace · candidate
36. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-word-trace；資料={"state_count":3,"alphabet_count":2,"transition":[[1,0],[1,0],[0,0]],"start":1,"accepting":[1],"word":[0,1,0,1,0]}。請依 [word,state_trace,final_state] 欄序回答。
查看答案與解釋
([0, 1, 0, 1, 0], [1, 1, 0, 1, 0, 1], 1)
Wave5根節點核對=([0, 1, 0, 1, 0], [1, 1, 0, 1, 0, 1], 1)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-word-trace · candidate
37. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-word-trace；資料={"state_count":3,"alphabet_count":2,"transition":[[2,0],[1,0],[0,0]],"start":2,"accepting":[2],"word":[1,1,0,1,0]}。請依 [word,state_trace,final_state] 欄序回答。
查看答案與解釋
([1, 1, 0, 1, 0], [2, 0, 0, 2, 0, 2], 2)
Wave5根節點核對=([1, 1, 0, 1, 0], [2, 0, 0, 2, 0, 2], 2)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-word-trace · candidate
38. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-word-trace；資料={"state_count":3,"alphabet_count":2,"transition":[[0,1],[1,0],[0,0]],"start":0,"accepting":[0],"word":[0,0,1,1,0]}。請依 [word,state_trace,final_state] 欄序回答。
查看答案與解釋
([0, 0, 1, 1, 0], [0, 0, 0, 1, 0, 0], 0)
Wave5根節點核對=([0, 0, 1, 1, 0], [0, 0, 0, 1, 0, 0], 0)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-word-trace · candidate
39. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-word-trace；資料={"state_count":3,"alphabet_count":2,"transition":[[1,1],[1,0],[0,0]],"start":1,"accepting":[1],"word":[1,0,1,1,0]}。請依 [word,state_trace,final_state] 欄序回答。
查看答案與解釋
([1, 0, 1, 1, 0], [1, 0, 1, 0, 1, 1], 1)
Wave5根節點核對=([1, 0, 1, 1, 0], [1, 0, 1, 0, 1, 1], 1)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-word-trace · candidate
40. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-word-trace；資料={"state_count":3,"alphabet_count":2,"transition":[[2,1],[1,0],[0,0]],"start":2,"accepting":[2],"word":[0,1,1,1,0]}。請依 [word,state_trace,final_state] 欄序回答。
查看答案與解釋
([0, 1, 1, 1, 0], [2, 0, 1, 0, 1, 1], 1)
Wave5根節點核對=([0, 1, 1, 1, 0], [2, 0, 1, 0, 1, 1], 1)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-word-trace · candidate
41. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-word-trace；資料={"state_count":3,"alphabet_count":2,"transition":[[0,2],[1,0],[0,0]],"start":0,"accepting":[0],"word":[1,1,1,1,0]}。請依 [word,state_trace,final_state] 欄序回答。
查看答案與解釋
([1, 1, 1, 1, 0], [0, 2, 0, 2, 0, 0], 0)
Wave5根節點核對=([1, 1, 1, 1, 0], [0, 2, 0, 2, 0, 0], 0)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-word-trace · candidate
42. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-word-trace；資料={"state_count":3,"alphabet_count":2,"transition":[[1,2],[1,0],[0,0]],"start":1,"accepting":[1],"word":[0,0,0,0,1]}。請依 [word,state_trace,final_state] 欄序回答。
查看答案與解釋
([0, 0, 0, 0, 1], [1, 1, 1, 1, 1, 0], 0)
Wave5根節點核對=([0, 0, 0, 0, 1], [1, 1, 1, 1, 1, 0], 0)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-word-trace · candidate
43. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-word-trace；資料={"state_count":3,"alphabet_count":2,"transition":[[2,2],[1,0],[0,0]],"start":2,"accepting":[2],"word":[1,0,0,0,1]}。請依 [word,state_trace,final_state] 欄序回答。
查看答案與解釋
([1, 0, 0, 0, 1], [2, 0, 2, 0, 2, 0], 0)
Wave5根節點核對=([1, 0, 0, 0, 1], [2, 0, 2, 0, 2, 0], 0)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-word-trace · candidate
44. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-word-trace；資料={"state_count":3,"alphabet_count":2,"transition":[[0,0],[2,0],[0,0]],"start":0,"accepting":[0],"word":[0,1,0,0,1]}。請依 [word,state_trace,final_state] 欄序回答。
查看答案與解釋
([0, 1, 0, 0, 1], [0, 0, 0, 0, 0, 0], 0)
Wave5根節點核對=([0, 1, 0, 0, 1], [0, 0, 0, 0, 0, 0], 0)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-word-trace · candidate
45. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-word-trace；資料={"state_count":3,"alphabet_count":2,"transition":[[1,0],[2,0],[0,0]],"start":1,"accepting":[1],"word":[1,1,0,0,1]}。請依 [word,state_trace,final_state] 欄序回答。
查看答案與解釋
([1, 1, 0, 0, 1], [1, 0, 0, 1, 2, 0], 0)
Wave5根節點核對=([1, 1, 0, 0, 1], [1, 0, 0, 1, 2, 0], 0)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-word-trace · candidate
46. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-word-trace；資料={"state_count":3,"alphabet_count":2,"transition":[[2,0],[2,0],[0,0]],"start":2,"accepting":[2],"word":[0,0,1,0,1]}。請依 [word,state_trace,final_state] 欄序回答。
查看答案與解釋
([0, 0, 1, 0, 1], [2, 0, 2, 0, 2, 0], 0)
Wave5根節點核對=([0, 0, 1, 0, 1], [2, 0, 2, 0, 2, 0], 0)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-word-trace · candidate
47. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-word-trace；資料={"state_count":3,"alphabet_count":2,"transition":[[0,1],[2,0],[0,0]],"start":0,"accepting":[0],"word":[1,0,1,0,1]}。請依 [word,state_trace,final_state] 欄序回答。
查看答案與解釋
([1, 0, 1, 0, 1], [0, 1, 2, 0, 0, 1], 1)
Wave5根節點核對=([1, 0, 1, 0, 1], [0, 1, 2, 0, 0, 1], 1)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-word-trace · candidate
48. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-word-trace；資料={"state_count":3,"alphabet_count":2,"transition":[[1,1],[2,0],[0,0]],"start":1,"accepting":[1],"word":[0,1,1,0,1]}。請依 [word,state_trace,final_state] 欄序回答。
查看答案與解釋
([0, 1, 1, 0, 1], [1, 2, 0, 1, 2, 0], 0)
Wave5根節點核對=([0, 1, 1, 0, 1], [1, 2, 0, 1, 2, 0], 0)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-word-trace · candidate
49. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-word-trace；資料={"state_count":3,"alphabet_count":2,"transition":[[2,1],[2,0],[0,0]],"start":2,"accepting":[2],"word":[1,1,1,0,1]}。請依 [word,state_trace,final_state] 欄序回答。
查看答案與解釋
([1, 1, 1, 0, 1], [2, 0, 1, 0, 2, 0], 0)
Wave5根節點核對=([1, 1, 1, 0, 1], [2, 0, 1, 0, 2, 0], 0)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-word-trace · candidate
50. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-word-trace；資料={"state_count":3,"alphabet_count":2,"transition":[[0,2],[2,0],[0,0]],"start":0,"accepting":[0],"word":[0,0,0,1,1]}。請依 [word,state_trace,final_state] 欄序回答。
查看答案與解釋
([0, 0, 0, 1, 1], [0, 0, 0, 0, 2, 0], 0)
Wave5根節點核對=([0, 0, 0, 1, 1], [0, 0, 0, 0, 2, 0], 0)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-word-trace · candidate
51. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-acceptance；資料={"state_count":3,"alphabet_count":2,"transition":[[0,0],[0,0],[0,0]],"start":0,"accepting":[0],"word":[0,0,0,0,0]}。請依 [word,state_trace,final_state,accepted] 欄序回答。
查看答案與解釋
([0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0], 0, 是)
Wave5根節點核對=([0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0], 0, 是)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-acceptance · candidate
52. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-acceptance；資料={"state_count":3,"alphabet_count":2,"transition":[[1,0],[0,0],[0,0]],"start":1,"accepting":[1],"word":[1,0,0,0,0]}。請依 [word,state_trace,final_state,accepted] 欄序回答。
查看答案與解釋
([1, 0, 0, 0, 0], [1, 0, 1, 0, 1, 0], 0, 否)
Wave5根節點核對=([1, 0, 0, 0, 0], [1, 0, 1, 0, 1, 0], 0, 否)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-acceptance · candidate
53. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-acceptance；資料={"state_count":3,"alphabet_count":2,"transition":[[2,0],[0,0],[0,0]],"start":2,"accepting":[2],"word":[0,1,0,0,0]}。請依 [word,state_trace,final_state,accepted] 欄序回答。
查看答案與解釋
([0, 1, 0, 0, 0], [2, 0, 0, 2, 0, 2], 2, 是)
Wave5根節點核對=([0, 1, 0, 0, 0], [2, 0, 0, 2, 0, 2], 2, 是)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-acceptance · candidate
54. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-acceptance；資料={"state_count":3,"alphabet_count":2,"transition":[[0,1],[0,0],[0,0]],"start":0,"accepting":[0],"word":[1,1,0,0,0]}。請依 [word,state_trace,final_state,accepted] 欄序回答。
查看答案與解釋
([1, 1, 0, 0, 0], [0, 1, 0, 0, 0, 0], 0, 是)
Wave5根節點核對=([1, 1, 0, 0, 0], [0, 1, 0, 0, 0, 0], 0, 是)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-acceptance · candidate
55. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-acceptance；資料={"state_count":3,"alphabet_count":2,"transition":[[1,1],[0,0],[0,0]],"start":1,"accepting":[1],"word":[0,0,1,0,0]}。請依 [word,state_trace,final_state,accepted] 欄序回答。
查看答案與解釋
([0, 0, 1, 0, 0], [1, 0, 1, 0, 1, 0], 0, 否)
Wave5根節點核對=([0, 0, 1, 0, 0], [1, 0, 1, 0, 1, 0], 0, 否)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-acceptance · candidate
56. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-acceptance；資料={"state_count":3,"alphabet_count":2,"transition":[[2,1],[0,0],[0,0]],"start":2,"accepting":[2],"word":[1,0,1,0,0]}。請依 [word,state_trace,final_state,accepted] 欄序回答。
查看答案與解釋
([1, 0, 1, 0, 0], [2, 0, 2, 0, 2, 0], 0, 否)
Wave5根節點核對=([1, 0, 1, 0, 0], [2, 0, 2, 0, 2, 0], 0, 否)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-acceptance · candidate
57. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-acceptance；資料={"state_count":3,"alphabet_count":2,"transition":[[0,2],[0,0],[0,0]],"start":0,"accepting":[0],"word":[0,1,1,0,0]}。請依 [word,state_trace,final_state,accepted] 欄序回答。
查看答案與解釋
([0, 1, 1, 0, 0], [0, 0, 2, 0, 0, 0], 0, 是)
Wave5根節點核對=([0, 1, 1, 0, 0], [0, 0, 2, 0, 0, 0], 0, 是)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-acceptance · candidate
58. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-acceptance；資料={"state_count":3,"alphabet_count":2,"transition":[[1,2],[0,0],[0,0]],"start":1,"accepting":[1],"word":[1,1,1,0,0]}。請依 [word,state_trace,final_state,accepted] 欄序回答。
查看答案與解釋
([1, 1, 1, 0, 0], [1, 0, 2, 0, 1, 0], 0, 否)
Wave5根節點核對=([1, 1, 1, 0, 0], [1, 0, 2, 0, 1, 0], 0, 否)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-acceptance · candidate
59. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-acceptance；資料={"state_count":3,"alphabet_count":2,"transition":[[2,2],[0,0],[0,0]],"start":2,"accepting":[2],"word":[0,0,0,1,0]}。請依 [word,state_trace,final_state,accepted] 欄序回答。
查看答案與解釋
([0, 0, 0, 1, 0], [2, 0, 2, 0, 2, 0], 0, 否)
Wave5根節點核對=([0, 0, 0, 1, 0], [2, 0, 2, 0, 2, 0], 0, 否)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-acceptance · candidate
60. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-acceptance；資料={"state_count":3,"alphabet_count":2,"transition":[[0,0],[1,0],[0,0]],"start":0,"accepting":[0],"word":[1,0,0,1,0]}。請依 [word,state_trace,final_state,accepted] 欄序回答。
查看答案與解釋
([1, 0, 0, 1, 0], [0, 0, 0, 0, 0, 0], 0, 是)
Wave5根節點核對=([1, 0, 0, 1, 0], [0, 0, 0, 0, 0, 0], 0, 是)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-acceptance · candidate
61. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-acceptance；資料={"state_count":3,"alphabet_count":2,"transition":[[1,0],[1,0],[0,0]],"start":1,"accepting":[1],"word":[0,1,0,1,0]}。請依 [word,state_trace,final_state,accepted] 欄序回答。
查看答案與解釋
([0, 1, 0, 1, 0], [1, 1, 0, 1, 0, 1], 1, 是)
Wave5根節點核對=([0, 1, 0, 1, 0], [1, 1, 0, 1, 0, 1], 1, 是)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-acceptance · candidate
62. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-acceptance；資料={"state_count":3,"alphabet_count":2,"transition":[[2,0],[1,0],[0,0]],"start":2,"accepting":[2],"word":[1,1,0,1,0]}。請依 [word,state_trace,final_state,accepted] 欄序回答。
查看答案與解釋
([1, 1, 0, 1, 0], [2, 0, 0, 2, 0, 2], 2, 是)
Wave5根節點核對=([1, 1, 0, 1, 0], [2, 0, 0, 2, 0, 2], 2, 是)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-acceptance · candidate
63. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-acceptance；資料={"state_count":3,"alphabet_count":2,"transition":[[0,1],[1,0],[0,0]],"start":0,"accepting":[0],"word":[0,0,1,1,0]}。請依 [word,state_trace,final_state,accepted] 欄序回答。
查看答案與解釋
([0, 0, 1, 1, 0], [0, 0, 0, 1, 0, 0], 0, 是)
Wave5根節點核對=([0, 0, 1, 1, 0], [0, 0, 0, 1, 0, 0], 0, 是)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-acceptance · candidate
64. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-acceptance；資料={"state_count":3,"alphabet_count":2,"transition":[[1,1],[1,0],[0,0]],"start":1,"accepting":[1],"word":[1,0,1,1,0]}。請依 [word,state_trace,final_state,accepted] 欄序回答。
查看答案與解釋
([1, 0, 1, 1, 0], [1, 0, 1, 0, 1, 1], 1, 是)
Wave5根節點核對=([1, 0, 1, 1, 0], [1, 0, 1, 0, 1, 1], 1, 是)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-acceptance · candidate
65. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-acceptance；資料={"state_count":3,"alphabet_count":2,"transition":[[2,1],[1,0],[0,0]],"start":2,"accepting":[2],"word":[0,1,1,1,0]}。請依 [word,state_trace,final_state,accepted] 欄序回答。
查看答案與解釋
([0, 1, 1, 1, 0], [2, 0, 1, 0, 1, 1], 1, 否)
Wave5根節點核對=([0, 1, 1, 1, 0], [2, 0, 1, 0, 1, 1], 1, 否)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-acceptance · candidate
66. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-acceptance；資料={"state_count":3,"alphabet_count":2,"transition":[[0,2],[1,0],[0,0]],"start":0,"accepting":[0],"word":[1,1,1,1,0]}。請依 [word,state_trace,final_state,accepted] 欄序回答。
查看答案與解釋
([1, 1, 1, 1, 0], [0, 2, 0, 2, 0, 0], 0, 是)
Wave5根節點核對=([1, 1, 1, 1, 0], [0, 2, 0, 2, 0, 0], 0, 是)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-acceptance · candidate
67. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-acceptance；資料={"state_count":3,"alphabet_count":2,"transition":[[1,2],[1,0],[0,0]],"start":1,"accepting":[1],"word":[0,0,0,0,1]}。請依 [word,state_trace,final_state,accepted] 欄序回答。
查看答案與解釋
([0, 0, 0, 0, 1], [1, 1, 1, 1, 1, 0], 0, 否)
Wave5根節點核對=([0, 0, 0, 0, 1], [1, 1, 1, 1, 1, 0], 0, 否)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-acceptance · candidate
68. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-acceptance；資料={"state_count":3,"alphabet_count":2,"transition":[[2,2],[1,0],[0,0]],"start":2,"accepting":[2],"word":[1,0,0,0,1]}。請依 [word,state_trace,final_state,accepted] 欄序回答。
查看答案與解釋
([1, 0, 0, 0, 1], [2, 0, 2, 0, 2, 0], 0, 否)
Wave5根節點核對=([1, 0, 0, 0, 1], [2, 0, 2, 0, 2, 0], 0, 否)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-acceptance · candidate
69. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-acceptance；資料={"state_count":3,"alphabet_count":2,"transition":[[0,0],[2,0],[0,0]],"start":0,"accepting":[0],"word":[0,1,0,0,1]}。請依 [word,state_trace,final_state,accepted] 欄序回答。
查看答案與解釋
([0, 1, 0, 0, 1], [0, 0, 0, 0, 0, 0], 0, 是)
Wave5根節點核對=([0, 1, 0, 0, 1], [0, 0, 0, 0, 0, 0], 0, 是)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-acceptance · candidate
70. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-acceptance；資料={"state_count":3,"alphabet_count":2,"transition":[[1,0],[2,0],[0,0]],"start":1,"accepting":[1],"word":[1,1,0,0,1]}。請依 [word,state_trace,final_state,accepted] 欄序回答。
查看答案與解釋
([1, 1, 0, 0, 1], [1, 0, 0, 1, 2, 0], 0, 否)
Wave5根節點核對=([1, 1, 0, 0, 1], [1, 0, 0, 1, 2, 0], 0, 否)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-acceptance · candidate
71. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-acceptance；資料={"state_count":3,"alphabet_count":2,"transition":[[2,0],[2,0],[0,0]],"start":2,"accepting":[2],"word":[0,0,1,0,1]}。請依 [word,state_trace,final_state,accepted] 欄序回答。
查看答案與解釋
([0, 0, 1, 0, 1], [2, 0, 2, 0, 2, 0], 0, 否)
Wave5根節點核對=([0, 0, 1, 0, 1], [2, 0, 2, 0, 2, 0], 0, 否)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-acceptance · candidate
72. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-acceptance；資料={"state_count":3,"alphabet_count":2,"transition":[[0,1],[2,0],[0,0]],"start":0,"accepting":[0],"word":[1,0,1,0,1]}。請依 [word,state_trace,final_state,accepted] 欄序回答。
查看答案與解釋
([1, 0, 1, 0, 1], [0, 1, 2, 0, 0, 1], 1, 否)
Wave5根節點核對=([1, 0, 1, 0, 1], [0, 1, 2, 0, 0, 1], 1, 否)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-acceptance · candidate
73. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-acceptance；資料={"state_count":3,"alphabet_count":2,"transition":[[1,1],[2,0],[0,0]],"start":1,"accepting":[1],"word":[0,1,1,0,1]}。請依 [word,state_trace,final_state,accepted] 欄序回答。
查看答案與解釋
([0, 1, 1, 0, 1], [1, 2, 0, 1, 2, 0], 0, 否)
Wave5根節點核對=([0, 1, 1, 0, 1], [1, 2, 0, 1, 2, 0], 0, 否)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-acceptance · candidate
74. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-acceptance；資料={"state_count":3,"alphabet_count":2,"transition":[[2,1],[2,0],[0,0]],"start":2,"accepting":[2],"word":[1,1,1,0,1]}。請依 [word,state_trace,final_state,accepted] 欄序回答。
查看答案與解釋
([1, 1, 1, 0, 1], [2, 0, 1, 0, 2, 0], 0, 否)
Wave5根節點核對=([1, 1, 1, 0, 1], [2, 0, 1, 0, 2, 0], 0, 否)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-acceptance · candidate
75. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-acceptance；資料={"state_count":3,"alphabet_count":2,"transition":[[0,2],[2,0],[0,0]],"start":0,"accepting":[0],"word":[0,0,0,1,1]}。請依 [word,state_trace,final_state,accepted] 欄序回答。
查看答案與解釋
([0, 0, 0, 1, 1], [0, 0, 0, 0, 2, 0], 0, 是)
Wave5根節點核對=([0, 0, 0, 1, 1], [0, 0, 0, 0, 2, 0], 0, 是)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-acceptance · candidate
76. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-single-trace-boundary；資料={"state_count":3,"alphabet_count":2,"transition":[[0,0],[0,0],[0,0]],"start":0,"accepting":[0],"word":[0,0,0,0,0]}。請依 [word,state_trace,accepted,proves_language_equivalence,boundary] 欄序回答。
查看答案與解釋
([0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0], 是, 否, one_trace_does_not_prove_language_equivalence_or_regularity)
Wave5根節點核對=([0, 0, 0, 0, 0], [0, 0, 0, 0, 0, 0], 是, 否, one_trace_does_not_prove_language_equivalence_or_regularity)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-single-trace-boundary · candidate
77. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-single-trace-boundary；資料={"state_count":3,"alphabet_count":2,"transition":[[1,0],[0,0],[0,0]],"start":1,"accepting":[1],"word":[1,0,0,0,0]}。請依 [word,state_trace,accepted,proves_language_equivalence,boundary] 欄序回答。
查看答案與解釋
([1, 0, 0, 0, 0], [1, 0, 1, 0, 1, 0], 否, 否, one_trace_does_not_prove_language_equivalence_or_regularity)
Wave5根節點核對=([1, 0, 0, 0, 0], [1, 0, 1, 0, 1, 0], 否, 否, one_trace_does_not_prove_language_equivalence_or_regularity)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-single-trace-boundary · candidate
78. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-single-trace-boundary；資料={"state_count":3,"alphabet_count":2,"transition":[[2,0],[0,0],[0,0]],"start":2,"accepting":[2],"word":[0,1,0,0,0]}。請依 [word,state_trace,accepted,proves_language_equivalence,boundary] 欄序回答。
查看答案與解釋
([0, 1, 0, 0, 0], [2, 0, 0, 2, 0, 2], 是, 否, one_trace_does_not_prove_language_equivalence_or_regularity)
Wave5根節點核對=([0, 1, 0, 0, 0], [2, 0, 0, 2, 0, 2], 是, 否, one_trace_does_not_prove_language_equivalence_or_regularity)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-single-trace-boundary · candidate
79. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-single-trace-boundary；資料={"state_count":3,"alphabet_count":2,"transition":[[0,1],[0,0],[0,0]],"start":0,"accepting":[0],"word":[1,1,0,0,0]}。請依 [word,state_trace,accepted,proves_language_equivalence,boundary] 欄序回答。
查看答案與解釋
([1, 1, 0, 0, 0], [0, 1, 0, 0, 0, 0], 是, 否, one_trace_does_not_prove_language_equivalence_or_regularity)
Wave5根節點核對=([1, 1, 0, 0, 0], [0, 1, 0, 0, 0, 0], 是, 否, one_trace_does_not_prove_language_equivalence_or_regularity)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-single-trace-boundary · candidate
80. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-single-trace-boundary；資料={"state_count":3,"alphabet_count":2,"transition":[[1,1],[0,0],[0,0]],"start":1,"accepting":[1],"word":[0,0,1,0,0]}。請依 [word,state_trace,accepted,proves_language_equivalence,boundary] 欄序回答。
查看答案與解釋
([0, 0, 1, 0, 0], [1, 0, 1, 0, 1, 0], 否, 否, one_trace_does_not_prove_language_equivalence_or_regularity)
Wave5根節點核對=([0, 0, 1, 0, 0], [1, 0, 1, 0, 1, 0], 否, 否, one_trace_does_not_prove_language_equivalence_or_regularity)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-single-trace-boundary · candidate
81. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-single-trace-boundary；資料={"state_count":3,"alphabet_count":2,"transition":[[2,1],[0,0],[0,0]],"start":2,"accepting":[2],"word":[1,0,1,0,0]}。請依 [word,state_trace,accepted,proves_language_equivalence,boundary] 欄序回答。
查看答案與解釋
([1, 0, 1, 0, 0], [2, 0, 2, 0, 2, 0], 否, 否, one_trace_does_not_prove_language_equivalence_or_regularity)
Wave5根節點核對=([1, 0, 1, 0, 0], [2, 0, 2, 0, 2, 0], 否, 否, one_trace_does_not_prove_language_equivalence_or_regularity)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-single-trace-boundary · candidate
82. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-single-trace-boundary；資料={"state_count":3,"alphabet_count":2,"transition":[[0,2],[0,0],[0,0]],"start":0,"accepting":[0],"word":[0,1,1,0,0]}。請依 [word,state_trace,accepted,proves_language_equivalence,boundary] 欄序回答。
查看答案與解釋
([0, 1, 1, 0, 0], [0, 0, 2, 0, 0, 0], 是, 否, one_trace_does_not_prove_language_equivalence_or_regularity)
Wave5根節點核對=([0, 1, 1, 0, 0], [0, 0, 2, 0, 0, 0], 是, 否, one_trace_does_not_prove_language_equivalence_or_regularity)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-single-trace-boundary · candidate
83. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-single-trace-boundary；資料={"state_count":3,"alphabet_count":2,"transition":[[1,2],[0,0],[0,0]],"start":1,"accepting":[1],"word":[1,1,1,0,0]}。請依 [word,state_trace,accepted,proves_language_equivalence,boundary] 欄序回答。
查看答案與解釋
([1, 1, 1, 0, 0], [1, 0, 2, 0, 1, 0], 否, 否, one_trace_does_not_prove_language_equivalence_or_regularity)
Wave5根節點核對=([1, 1, 1, 0, 0], [1, 0, 2, 0, 1, 0], 否, 否, one_trace_does_not_prove_language_equivalence_or_regularity)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-single-trace-boundary · candidate
84. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-single-trace-boundary；資料={"state_count":3,"alphabet_count":2,"transition":[[2,2],[0,0],[0,0]],"start":2,"accepting":[2],"word":[0,0,0,1,0]}。請依 [word,state_trace,accepted,proves_language_equivalence,boundary] 欄序回答。
查看答案與解釋
([0, 0, 0, 1, 0], [2, 0, 2, 0, 2, 0], 否, 否, one_trace_does_not_prove_language_equivalence_or_regularity)
Wave5根節點核對=([0, 0, 0, 1, 0], [2, 0, 2, 0, 2, 0], 否, 否, one_trace_does_not_prove_language_equivalence_or_regularity)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-single-trace-boundary · candidate
85. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-single-trace-boundary；資料={"state_count":3,"alphabet_count":2,"transition":[[0,0],[1,0],[0,0]],"start":0,"accepting":[0],"word":[1,0,0,1,0]}。請依 [word,state_trace,accepted,proves_language_equivalence,boundary] 欄序回答。
查看答案與解釋
([1, 0, 0, 1, 0], [0, 0, 0, 0, 0, 0], 是, 否, one_trace_does_not_prove_language_equivalence_or_regularity)
Wave5根節點核對=([1, 0, 0, 1, 0], [0, 0, 0, 0, 0, 0], 是, 否, one_trace_does_not_prove_language_equivalence_or_regularity)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-single-trace-boundary · candidate
86. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-single-trace-boundary；資料={"state_count":3,"alphabet_count":2,"transition":[[1,0],[1,0],[0,0]],"start":1,"accepting":[1],"word":[0,1,0,1,0]}。請依 [word,state_trace,accepted,proves_language_equivalence,boundary] 欄序回答。
查看答案與解釋
([0, 1, 0, 1, 0], [1, 1, 0, 1, 0, 1], 是, 否, one_trace_does_not_prove_language_equivalence_or_regularity)
Wave5根節點核對=([0, 1, 0, 1, 0], [1, 1, 0, 1, 0, 1], 是, 否, one_trace_does_not_prove_language_equivalence_or_regularity)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-single-trace-boundary · candidate
87. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-single-trace-boundary；資料={"state_count":3,"alphabet_count":2,"transition":[[2,0],[1,0],[0,0]],"start":2,"accepting":[2],"word":[1,1,0,1,0]}。請依 [word,state_trace,accepted,proves_language_equivalence,boundary] 欄序回答。
查看答案與解釋
([1, 1, 0, 1, 0], [2, 0, 0, 2, 0, 2], 是, 否, one_trace_does_not_prove_language_equivalence_or_regularity)
Wave5根節點核對=([1, 1, 0, 1, 0], [2, 0, 0, 2, 0, 2], 是, 否, one_trace_does_not_prove_language_equivalence_or_regularity)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-single-trace-boundary · candidate
88. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-single-trace-boundary；資料={"state_count":3,"alphabet_count":2,"transition":[[0,1],[1,0],[0,0]],"start":0,"accepting":[0],"word":[0,0,1,1,0]}。請依 [word,state_trace,accepted,proves_language_equivalence,boundary] 欄序回答。
查看答案與解釋
([0, 0, 1, 1, 0], [0, 0, 0, 1, 0, 0], 是, 否, one_trace_does_not_prove_language_equivalence_or_regularity)
Wave5根節點核對=([0, 0, 1, 1, 0], [0, 0, 0, 1, 0, 0], 是, 否, one_trace_does_not_prove_language_equivalence_or_regularity)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-single-trace-boundary · candidate
89. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-single-trace-boundary；資料={"state_count":3,"alphabet_count":2,"transition":[[1,1],[1,0],[0,0]],"start":1,"accepting":[1],"word":[1,0,1,1,0]}。請依 [word,state_trace,accepted,proves_language_equivalence,boundary] 欄序回答。
查看答案與解釋
([1, 0, 1, 1, 0], [1, 0, 1, 0, 1, 1], 是, 否, one_trace_does_not_prove_language_equivalence_or_regularity)
Wave5根節點核對=([1, 0, 1, 1, 0], [1, 0, 1, 0, 1, 1], 是, 否, one_trace_does_not_prove_language_equivalence_or_regularity)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-single-trace-boundary · candidate
90. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-single-trace-boundary；資料={"state_count":3,"alphabet_count":2,"transition":[[2,1],[1,0],[0,0]],"start":2,"accepting":[2],"word":[0,1,1,1,0]}。請依 [word,state_trace,accepted,proves_language_equivalence,boundary] 欄序回答。
查看答案與解釋
([0, 1, 1, 1, 0], [2, 0, 1, 0, 1, 1], 否, 否, one_trace_does_not_prove_language_equivalence_or_regularity)
Wave5根節點核對=([0, 1, 1, 1, 0], [2, 0, 1, 0, 1, 1], 否, 否, one_trace_does_not_prove_language_equivalence_or_regularity)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-single-trace-boundary · candidate
91. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-single-trace-boundary；資料={"state_count":3,"alphabet_count":2,"transition":[[0,2],[1,0],[0,0]],"start":0,"accepting":[0],"word":[1,1,1,1,0]}。請依 [word,state_trace,accepted,proves_language_equivalence,boundary] 欄序回答。
查看答案與解釋
([1, 1, 1, 1, 0], [0, 2, 0, 2, 0, 0], 是, 否, one_trace_does_not_prove_language_equivalence_or_regularity)
Wave5根節點核對=([1, 1, 1, 1, 0], [0, 2, 0, 2, 0, 0], 是, 否, one_trace_does_not_prove_language_equivalence_or_regularity)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-single-trace-boundary · candidate
92. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-single-trace-boundary；資料={"state_count":3,"alphabet_count":2,"transition":[[1,2],[1,0],[0,0]],"start":1,"accepting":[1],"word":[0,0,0,0,1]}。請依 [word,state_trace,accepted,proves_language_equivalence,boundary] 欄序回答。
查看答案與解釋
([0, 0, 0, 0, 1], [1, 1, 1, 1, 1, 0], 否, 否, one_trace_does_not_prove_language_equivalence_or_regularity)
Wave5根節點核對=([0, 0, 0, 0, 1], [1, 1, 1, 1, 1, 0], 否, 否, one_trace_does_not_prove_language_equivalence_or_regularity)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-single-trace-boundary · candidate
93. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-single-trace-boundary；資料={"state_count":3,"alphabet_count":2,"transition":[[2,2],[1,0],[0,0]],"start":2,"accepting":[2],"word":[1,0,0,0,1]}。請依 [word,state_trace,accepted,proves_language_equivalence,boundary] 欄序回答。
查看答案與解釋
([1, 0, 0, 0, 1], [2, 0, 2, 0, 2, 0], 否, 否, one_trace_does_not_prove_language_equivalence_or_regularity)
Wave5根節點核對=([1, 0, 0, 0, 1], [2, 0, 2, 0, 2, 0], 否, 否, one_trace_does_not_prove_language_equivalence_or_regularity)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-single-trace-boundary · candidate
94. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-single-trace-boundary；資料={"state_count":3,"alphabet_count":2,"transition":[[0,0],[2,0],[0,0]],"start":0,"accepting":[0],"word":[0,1,0,0,1]}。請依 [word,state_trace,accepted,proves_language_equivalence,boundary] 欄序回答。
查看答案與解釋
([0, 1, 0, 0, 1], [0, 0, 0, 0, 0, 0], 是, 否, one_trace_does_not_prove_language_equivalence_or_regularity)
Wave5根節點核對=([0, 1, 0, 0, 1], [0, 0, 0, 0, 0, 0], 是, 否, one_trace_does_not_prove_language_equivalence_or_regularity)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-single-trace-boundary · candidate
95. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-single-trace-boundary；資料={"state_count":3,"alphabet_count":2,"transition":[[1,0],[2,0],[0,0]],"start":1,"accepting":[1],"word":[1,1,0,0,1]}。請依 [word,state_trace,accepted,proves_language_equivalence,boundary] 欄序回答。
查看答案與解釋
([1, 1, 0, 0, 1], [1, 0, 0, 1, 2, 0], 否, 否, one_trace_does_not_prove_language_equivalence_or_regularity)
Wave5根節點核對=([1, 1, 0, 0, 1], [1, 0, 0, 1, 2, 0], 否, 否, one_trace_does_not_prove_language_equivalence_or_regularity)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-single-trace-boundary · candidate
96. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-single-trace-boundary；資料={"state_count":3,"alphabet_count":2,"transition":[[2,0],[2,0],[0,0]],"start":2,"accepting":[2],"word":[0,0,1,0,1]}。請依 [word,state_trace,accepted,proves_language_equivalence,boundary] 欄序回答。
查看答案與解釋
([0, 0, 1, 0, 1], [2, 0, 2, 0, 2, 0], 否, 否, one_trace_does_not_prove_language_equivalence_or_regularity)
Wave5根節點核對=([0, 0, 1, 0, 1], [2, 0, 2, 0, 2, 0], 否, 否, one_trace_does_not_prove_language_equivalence_or_regularity)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-single-trace-boundary · candidate
97. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-single-trace-boundary；資料={"state_count":3,"alphabet_count":2,"transition":[[0,1],[2,0],[0,0]],"start":0,"accepting":[0],"word":[1,0,1,0,1]}。請依 [word,state_trace,accepted,proves_language_equivalence,boundary] 欄序回答。
查看答案與解釋
([1, 0, 1, 0, 1], [0, 1, 2, 0, 0, 1], 否, 否, one_trace_does_not_prove_language_equivalence_or_regularity)
Wave5根節點核對=([1, 0, 1, 0, 1], [0, 1, 2, 0, 0, 1], 否, 否, one_trace_does_not_prove_language_equivalence_or_regularity)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-single-trace-boundary · candidate
98. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-single-trace-boundary；資料={"state_count":3,"alphabet_count":2,"transition":[[1,1],[2,0],[0,0]],"start":1,"accepting":[1],"word":[0,1,1,0,1]}。請依 [word,state_trace,accepted,proves_language_equivalence,boundary] 欄序回答。
查看答案與解釋
([0, 1, 1, 0, 1], [1, 2, 0, 1, 2, 0], 否, 否, one_trace_does_not_prove_language_equivalence_or_regularity)
Wave5根節點核對=([0, 1, 1, 0, 1], [1, 2, 0, 1, 2, 0], 否, 否, one_trace_does_not_prove_language_equivalence_or_regularity)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-single-trace-boundary · candidate
99. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-single-trace-boundary；資料={"state_count":3,"alphabet_count":2,"transition":[[2,1],[2,0],[0,0]],"start":2,"accepting":[2],"word":[1,1,1,0,1]}。請依 [word,state_trace,accepted,proves_language_equivalence,boundary] 欄序回答。
查看答案與解釋
([1, 1, 1, 0, 1], [2, 0, 1, 0, 2, 0], 否, 否, one_trace_does_not_prove_language_equivalence_or_regularity)
Wave5根節點核對=([1, 1, 1, 0, 1], [2, 0, 1, 0, 2, 0], 否, 否, one_trace_does_not_prove_language_equivalence_or_regularity)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-single-trace-boundary · candidate
100. 確定有限自動機
完整有限DFA總轉移表與有序有限word。操作=dfa-single-trace-boundary；資料={"state_count":3,"alphabet_count":2,"transition":[[0,2],[2,0],[0,0]],"start":0,"accepting":[0],"word":[0,0,0,1,1]}。請依 [word,state_trace,accepted,proves_language_equivalence,boundary] 欄序回答。
查看答案與解釋
([0, 0, 0, 1, 1], [0, 0, 0, 0, 2, 0], 是, 否, one_trace_does_not_prove_language_equivalence_or_regularity)
Wave5根節點核對=([0, 0, 0, 1, 1], [0, 0, 0, 0, 2, 0], 是, 否, one_trace_does_not_prove_language_equivalence_or_regularity)；依完整明示資料重算；唯一初始狀態、接受子集且逐符號追蹤；空字留在初始狀態；不引入NFA或epsilon transition；有限trace不證語言等價或regularity。
本題逐步詳解（AI 二次覆核）
確定有限自動機 · qf-mod32-dfa-single-trace-boundary · candidate
原始題目 JSONL · 驗收報告