# 正規表示式基礎 · 脈衝 R06

本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。

本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。

batch-20261015-advance-20261118-r06-regular-expression-foundations · 2026-10-15 · 100 題

欄序為來源綁定的呈現補充；原始 JSONL 與數學答案不變。

[欄序與來源綁定資料](https://ocme.evemisslab.com/data/i18n/question-output-protocols.json)



## 1. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-ast-qualification；資料={"alphabet":["a","b","c"],"regex":{"type":"symbol","value":"a"}}。請依 [alphabet, canonical_typed_AST, AST_qualified, qualification_statement] 欄序回答。

查看答案與解釋([a, b, c], {type:"symbol",value:"a"}, 是, typed_AST_symbols_in_alphabet)

Wave6第十二層核對=([a, b, c], {type:"symbol",value:"a"}, 是, typed_AST_symbols_in_alphabet)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0001/)

正規表示式 · qf-mod49-regex-ast-qualification · candidate





## 2. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-ast-qualification；資料={"alphabet":["a","b","c"],"regex":{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"c"}]}}。請依 [alphabet, canonical_typed_AST, AST_qualified, qualification_statement] 欄序回答。

查看答案與解釋([a, b, c], {children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}, 是, typed_AST_symbols_in_alphabet)

Wave6第十二層核對=([a, b, c], {children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}, 是, typed_AST_symbols_in_alphabet)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0002/)

正規表示式 · qf-mod49-regex-ast-qualification · candidate





## 3. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-ast-qualification；資料={"alphabet":["a","b","c"],"regex":{"type":"concat","children":[{"type":"symbol","value":"c"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"}]}}。請依 [alphabet, canonical_typed_AST, AST_qualified, qualification_statement] 欄序回答。

查看答案與解釋([a, b, c], {children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}, 是, typed_AST_symbols_in_alphabet)

Wave6第十二層核對=([a, b, c], {children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}, 是, typed_AST_symbols_in_alphabet)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0003/)

正規表示式 · qf-mod49-regex-ast-qualification · candidate





## 4. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-ast-qualification；資料={"alphabet":["a","b","c"],"regex":{"type":"concat","children":[{"type":"symbol","value":"a"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"},{"type":"symbol","value":"a"}]}}。請依 [alphabet, canonical_typed_AST, AST_qualified, qualification_statement] 欄序回答。

查看答案與解釋([a, b, c], {children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}, 是, typed_AST_symbols_in_alphabet)

Wave6第十二層核對=([a, b, c], {children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}, 是, typed_AST_symbols_in_alphabet)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0004/)

正規表示式 · qf-mod49-regex-ast-qualification · candidate





## 5. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-ast-qualification；資料={"alphabet":["a","b","c"],"regex":{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"c"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"}]}}。請依 [alphabet, canonical_typed_AST, AST_qualified, qualification_statement] 欄序回答。

查看答案與解釋([a, b, c], {children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}, 是, typed_AST_symbols_in_alphabet)

Wave6第十二層核對=([a, b, c], {children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}, 是, typed_AST_symbols_in_alphabet)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0005/)

正規表示式 · qf-mod49-regex-ast-qualification · candidate





## 6. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-ast-qualification；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"symbol","value":"c"},{"type":"star","child":{"type":"symbol","value":"a"}}]}}。請依 [alphabet, canonical_typed_AST, AST_qualified, qualification_statement] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{type:"symbol",value:"c"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{type:"symbol",value:"c"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0006/)

正規表示式 · qf-mod49-regex-ast-qualification · candidate





## 7. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-ast-qualification；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"a"},{"type":"symbol","value":"b"}]},{"type":"star","child":{"type":"symbol","value":"b"}}]}}。請依 [alphabet, canonical_typed_AST, AST_qualified, qualification_statement] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0007/)

正規表示式 · qf-mod49-regex-ast-qualification · candidate





## 8. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-ast-qualification；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"c"},{"type":"symbol","value":"a"}]},{"type":"star","child":{"type":"symbol","value":"c"}}]}}。請依 [alphabet, canonical_typed_AST, AST_qualified, qualification_statement] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0008/)

正規表示式 · qf-mod49-regex-ast-qualification · candidate





## 9. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-ast-qualification；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"c"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"}]},{"type":"star","child":{"type":"symbol","value":"a"}}]}}。請依 [alphabet, canonical_typed_AST, AST_qualified, qualification_statement] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0009/)

正規表示式 · qf-mod49-regex-ast-qualification · candidate





## 10. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-ast-qualification；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"a"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"}]},{"type":"star","child":{"type":"symbol","value":"b"}}]}}。請依 [alphabet, canonical_typed_AST, AST_qualified, qualification_statement] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0010/)

正規表示式 · qf-mod49-regex-ast-qualification · candidate





## 11. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-ast-qualification；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"symbol","value":"b"},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]}}。請依 [alphabet, canonical_typed_AST, AST_qualified, qualification_statement] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{type:"symbol",value:"b"}],type:"union"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{type:"symbol",value:"b"}],type:"union"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0011/)

正規表示式 · qf-mod49-regex-ast-qualification · candidate





## 12. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-ast-qualification；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"c"},{"type":"symbol","value":"a"}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},{"type":"star","child":{"type":"symbol","value":"b"}}]}}。請依 [alphabet, canonical_typed_AST, AST_qualified, qualification_statement] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}],type:"union"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}],type:"union"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0012/)

正規表示式 · qf-mod49-regex-ast-qualification · candidate





## 13. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-ast-qualification；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"a"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},{"type":"star","child":{"type":"symbol","value":"c"}}]}}。請依 [alphabet, canonical_typed_AST, AST_qualified, qualification_statement] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}],type:"union"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}],type:"union"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0013/)

正規表示式 · qf-mod49-regex-ast-qualification · candidate





## 14. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-ast-qualification；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"c"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]}}。請依 [alphabet, canonical_typed_AST, AST_qualified, qualification_statement] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0014/)

正規表示式 · qf-mod49-regex-ast-qualification · candidate





## 15. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-ast-qualification；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"c"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"},{"type":"symbol","value":"a"}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},{"type":"star","child":{"type":"symbol","value":"b"}}]}}。請依 [alphabet, canonical_typed_AST, AST_qualified, qualification_statement] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}],type:"union"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}],type:"union"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0015/)

正規表示式 · qf-mod49-regex-ast-qualification · candidate





## 16. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-ast-qualification；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"symbol","value":"a"},{"type":"star","child":{"type":"symbol","value":"b"}}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]}}。請依 [alphabet, canonical_typed_AST, AST_qualified, qualification_statement] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{type:"symbol",value:"a"}],type:"union"}],type:"union"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{type:"symbol",value:"a"}],type:"union"}],type:"union"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0016/)

正規表示式 · qf-mod49-regex-ast-qualification · candidate





## 17. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-ast-qualification；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"c"}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},{"type":"star","child":{"type":"symbol","value":"b"}}]}}。請依 [alphabet, canonical_typed_AST, AST_qualified, qualification_statement] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0017/)

正規表示式 · qf-mod49-regex-ast-qualification · candidate





## 18. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-ast-qualification；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"c"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},{"type":"star","child":{"type":"symbol","value":"c"}}]}}。請依 [alphabet, canonical_typed_AST, AST_qualified, qualification_statement] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0018/)

正規表示式 · qf-mod49-regex-ast-qualification · candidate





## 19. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-ast-qualification；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"a"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"},{"type":"symbol","value":"a"}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]}}。請依 [alphabet, canonical_typed_AST, AST_qualified, qualification_statement] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0019/)

正規表示式 · qf-mod49-regex-ast-qualification · candidate





## 20. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-ast-qualification；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"c"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},{"type":"star","child":{"type":"symbol","value":"b"}}]}}。請依 [alphabet, canonical_typed_AST, AST_qualified, qualification_statement] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0020/)

正規表示式 · qf-mod49-regex-ast-qualification · candidate





## 21. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-ast-qualification；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"symbol","value":"c"},{"type":"star","child":{"type":"symbol","value":"a"}}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]}}。請依 [alphabet, canonical_typed_AST, AST_qualified, qualification_statement] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{type:"symbol",value:"c"}],type:"union"}],type:"union"}],type:"union"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{type:"symbol",value:"c"}],type:"union"}],type:"union"}],type:"union"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0021/)

正規表示式 · qf-mod49-regex-ast-qualification · candidate





## 22. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-ast-qualification；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"a"},{"type":"symbol","value":"b"}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},{"type":"star","child":{"type":"symbol","value":"b"}}]}}。請依 [alphabet, canonical_typed_AST, AST_qualified, qualification_statement] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0022/)

正規表示式 · qf-mod49-regex-ast-qualification · candidate





## 23. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-ast-qualification；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"c"},{"type":"symbol","value":"a"}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},{"type":"star","child":{"type":"symbol","value":"c"}}]}}。請依 [alphabet, canonical_typed_AST, AST_qualified, qualification_statement] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0023/)

正規表示式 · qf-mod49-regex-ast-qualification · candidate





## 24. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-ast-qualification；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"c"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]}}。請依 [alphabet, canonical_typed_AST, AST_qualified, qualification_statement] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0024/)

正規表示式 · qf-mod49-regex-ast-qualification · candidate





## 25. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-ast-qualification；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"a"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},{"type":"star","child":{"type":"symbol","value":"b"}}]}}。請依 [alphabet, canonical_typed_AST, AST_qualified, qualification_statement] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}],type:"union"}, 是, typed_AST_symbols_in_alphabet)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0025/)

正規表示式 · qf-mod49-regex-ast-qualification · candidate





## 26. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-bounded-language；資料={"alphabet":["a","b","c"],"regex":{"type":"symbol","value":"a"},"max_length":1}。請依 [alphabet, canonical_typed_AST, max_length, complete_bounded_language, word_count, bounded_enumeration_complete, epsilon_cycle_scope] 欄序回答。

查看答案與解釋([a, b, c], {type:"symbol",value:"a"}, 1, [[a]], 1, 是, epsilon_cycles_terminate_by_extensional_dedup)

Wave6第十二層核對=([a, b, c], {type:"symbol",value:"a"}, 1, [[a]], 1, 是, epsilon_cycles_terminate_by_extensional_dedup)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0026/)

正規表示式 · qf-mod49-regex-bounded-language · candidate





## 27. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-bounded-language；資料={"alphabet":["a","b","c"],"regex":{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"c"}]},"max_length":2}。請依 [alphabet, canonical_typed_AST, max_length, complete_bounded_language, word_count, bounded_enumeration_complete, epsilon_cycle_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}, 2, [[b, c]], 1, 是, epsilon_cycles_terminate_by_extensional_dedup)

Wave6第十二層核對=([a, b, c], {children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}, 2, [[b, c]], 1, 是, epsilon_cycles_terminate_by_extensional_dedup)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0027/)

正規表示式 · qf-mod49-regex-bounded-language · candidate





## 28. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-bounded-language；資料={"alphabet":["a","b","c"],"regex":{"type":"concat","children":[{"type":"symbol","value":"c"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"}]},"max_length":3}。請依 [alphabet, canonical_typed_AST, max_length, complete_bounded_language, word_count, bounded_enumeration_complete, epsilon_cycle_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}, 3, [[c, a, b]], 1, 是, epsilon_cycles_terminate_by_extensional_dedup)

Wave6第十二層核對=([a, b, c], {children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}, 3, [[c, a, b]], 1, 是, epsilon_cycles_terminate_by_extensional_dedup)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0028/)

正規表示式 · qf-mod49-regex-bounded-language · candidate





## 29. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-bounded-language；資料={"alphabet":["a","b","c"],"regex":{"type":"concat","children":[{"type":"symbol","value":"a"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"},{"type":"symbol","value":"a"}]},"max_length":4}。請依 [alphabet, canonical_typed_AST, max_length, complete_bounded_language, word_count, bounded_enumeration_complete, epsilon_cycle_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}, 4, [[a, b, c, a]], 1, 是, epsilon_cycles_terminate_by_extensional_dedup)

Wave6第十二層核對=([a, b, c], {children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}, 4, [[a, b, c, a]], 1, 是, epsilon_cycles_terminate_by_extensional_dedup)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0029/)

正規表示式 · qf-mod49-regex-bounded-language · candidate





## 30. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-bounded-language；資料={"alphabet":["a","b","c"],"regex":{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"c"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"}]},"max_length":5}。請依 [alphabet, canonical_typed_AST, max_length, complete_bounded_language, word_count, bounded_enumeration_complete, epsilon_cycle_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}, 5, [[b, c, a, b, c]], 1, 是, epsilon_cycles_terminate_by_extensional_dedup)

Wave6第十二層核對=([a, b, c], {children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}, 5, [[b, c, a, b, c]], 1, 是, epsilon_cycles_terminate_by_extensional_dedup)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0030/)

正規表示式 · qf-mod49-regex-bounded-language · candidate





## 31. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-bounded-language；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"symbol","value":"c"},{"type":"star","child":{"type":"symbol","value":"a"}}]},"max_length":1}。請依 [alphabet, canonical_typed_AST, max_length, complete_bounded_language, word_count, bounded_enumeration_complete, epsilon_cycle_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{type:"symbol",value:"c"}],type:"union"}, 1, [[], [a], [c]], 3, 是, epsilon_cycles_terminate_by_extensional_dedup)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{type:"symbol",value:"c"}],type:"union"}, 1, [[], [a], [c]], 3, 是, epsilon_cycles_terminate_by_extensional_dedup)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0031/)

正規表示式 · qf-mod49-regex-bounded-language · candidate





## 32. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-bounded-language；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"a"},{"type":"symbol","value":"b"}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},"max_length":2}。請依 [alphabet, canonical_typed_AST, max_length, complete_bounded_language, word_count, bounded_enumeration_complete, epsilon_cycle_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}, 2, [[], [b], [a, b], [b, b]], 4, 是, epsilon_cycles_terminate_by_extensional_dedup)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}, 2, [[], [b], [a, b], [b, b]], 4, 是, epsilon_cycles_terminate_by_extensional_dedup)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0032/)

正規表示式 · qf-mod49-regex-bounded-language · candidate





## 33. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-bounded-language；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"c"},{"type":"symbol","value":"a"}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},"max_length":3}。請依 [alphabet, canonical_typed_AST, max_length, complete_bounded_language, word_count, bounded_enumeration_complete, epsilon_cycle_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}],type:"union"}, 3, [[], [c], [c, c], [b, c, a], [c, c, c]], 5, 是, epsilon_cycles_terminate_by_extensional_dedup)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}],type:"union"}, 3, [[], [c], [c, c], [b, c, a], [c, c, c]], 5, 是, epsilon_cycles_terminate_by_extensional_dedup)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0033/)

正規表示式 · qf-mod49-regex-bounded-language · candidate





## 34. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-bounded-language；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"c"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},"max_length":4}。請依 [alphabet, canonical_typed_AST, max_length, complete_bounded_language, word_count, bounded_enumeration_complete, epsilon_cycle_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}],type:"union"}, 4, [[], [a], [a, a], [a, a, a], [a, a, a, a], [c, a, b, c]], 6, 是, epsilon_cycles_terminate_by_extensional_dedup)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}],type:"union"}, 4, [[], [a], [a, a], [a, a, a], [a, a, a, a], [c, a, b, c]], 6, 是, epsilon_cycles_terminate_by_extensional_dedup)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0034/)

正規表示式 · qf-mod49-regex-bounded-language · candidate





## 35. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-bounded-language；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"a"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},"max_length":5}。請依 [alphabet, canonical_typed_AST, max_length, complete_bounded_language, word_count, bounded_enumeration_complete, epsilon_cycle_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}, 5, [[], [b], [b, b], [b, b, b], [b, b, b, b], [a, b, c, a, b], [b, b, b, b, b]], 7, 是, epsilon_cycles_terminate_by_extensional_dedup)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}, 5, [[], [b], [b, b], [b, b, b], [b, b, b, b], [a, b, c, a, b], [b, b, b, b, b]], 7, 是, epsilon_cycles_terminate_by_extensional_dedup)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0035/)

正規表示式 · qf-mod49-regex-bounded-language · candidate





## 36. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-bounded-language；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"symbol","value":"b"},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},"max_length":1}。請依 [alphabet, canonical_typed_AST, max_length, complete_bounded_language, word_count, bounded_enumeration_complete, epsilon_cycle_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{type:"symbol",value:"b"}],type:"union"}],type:"union"}, 1, [[], [a], [b], [c]], 4, 是, epsilon_cycles_terminate_by_extensional_dedup)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{type:"symbol",value:"b"}],type:"union"}],type:"union"}, 1, [[], [a], [b], [c]], 4, 是, epsilon_cycles_terminate_by_extensional_dedup)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0036/)

正規表示式 · qf-mod49-regex-bounded-language · candidate





## 37. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-bounded-language；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"c"},{"type":"symbol","value":"a"}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},"max_length":2}。請依 [alphabet, canonical_typed_AST, max_length, complete_bounded_language, word_count, bounded_enumeration_complete, epsilon_cycle_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}],type:"union"}],type:"union"}, 2, [[], [a], [b], [a, a], [b, b], [c, a]], 6, 是, epsilon_cycles_terminate_by_extensional_dedup)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}],type:"union"}],type:"union"}, 2, [[], [a], [b], [a, a], [b, b], [c, a]], 6, 是, epsilon_cycles_terminate_by_extensional_dedup)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0037/)

正規表示式 · qf-mod49-regex-bounded-language · candidate





## 38. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-bounded-language；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"a"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},"max_length":3}。請依 [alphabet, canonical_typed_AST, max_length, complete_bounded_language, word_count, bounded_enumeration_complete, epsilon_cycle_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}],type:"union"}],type:"union"}, 3, [[], [b], [c], [b, b], [c, c], [a, b, c], [b, b, b], [c, c, c]], 8, 是, epsilon_cycles_terminate_by_extensional_dedup)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}],type:"union"}],type:"union"}, 3, [[], [b], [c], [b, b], [c, c], [a, b, c], [b, b, b], [c, c, c]], 8, 是, epsilon_cycles_terminate_by_extensional_dedup)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0038/)

正規表示式 · qf-mod49-regex-bounded-language · candidate





## 39. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-bounded-language；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"c"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},"max_length":4}。請依 [alphabet, canonical_typed_AST, max_length, complete_bounded_language, word_count, bounded_enumeration_complete, epsilon_cycle_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}],type:"union"}, 4, [[], [a], [c], [a, a], [c, c], [a, a, a], [c, c, c], [a, a, a, a], [b, c, a, b], [c, c, c, c]], 10, 是, epsilon_cycles_terminate_by_extensional_dedup)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}],type:"union"}, 4, [[], [a], [c], [a, a], [c, c], [a, a, a], [c, c, c], [a, a, a, a], [b, c, a, b], [c, c, c, c]], 10, 是, epsilon_cycles_terminate_by_extensional_dedup)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0039/)

正規表示式 · qf-mod49-regex-bounded-language · candidate





## 40. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-bounded-language；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"c"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"},{"type":"symbol","value":"a"}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},"max_length":5}。請依 [alphabet, canonical_typed_AST, max_length, complete_bounded_language, word_count, bounded_enumeration_complete, epsilon_cycle_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}],type:"union"}],type:"union"}, 5, [[], [a], [b], [a, a], [b, b], [a, a, a], [b, b, b], [a, a, a, a], [b, b, b, b], [a, a, a, a, a], [b, b, b, b, b], [c, a, b, c, a]], 12, 是, epsilon_cycles_terminate_by_extensional_dedup)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}],type:"union"}],type:"union"}, 5, [[], [a], [b], [a, a], [b, b], [a, a, a], [b, b, b], [a, a, a, a], [b, b, b, b], [a, a, a, a, a], [b, b, b, b, b], [c, a, b, c, a]], 12, 是, epsilon_cycles_terminate_by_extensional_dedup)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0040/)

正規表示式 · qf-mod49-regex-bounded-language · candidate





## 41. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-bounded-language；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"symbol","value":"a"},{"type":"star","child":{"type":"symbol","value":"b"}}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},"max_length":1}。請依 [alphabet, canonical_typed_AST, max_length, complete_bounded_language, word_count, bounded_enumeration_complete, epsilon_cycle_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{type:"symbol",value:"a"}],type:"union"}],type:"union"}],type:"union"}, 1, [[], [a], [b], [c]], 4, 是, epsilon_cycles_terminate_by_extensional_dedup)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{type:"symbol",value:"a"}],type:"union"}],type:"union"}],type:"union"}, 1, [[], [a], [b], [c]], 4, 是, epsilon_cycles_terminate_by_extensional_dedup)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0041/)

正規表示式 · qf-mod49-regex-bounded-language · candidate





## 42. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-bounded-language；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"c"}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},"max_length":2}。請依 [alphabet, canonical_typed_AST, max_length, complete_bounded_language, word_count, bounded_enumeration_complete, epsilon_cycle_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}, 2, [[], [a], [b], [c], [a, a], [b, b], [b, c], [c, c]], 8, 是, epsilon_cycles_terminate_by_extensional_dedup)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}, 2, [[], [a], [b], [c], [a, a], [b, b], [b, c], [c, c]], 8, 是, epsilon_cycles_terminate_by_extensional_dedup)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0042/)

正規表示式 · qf-mod49-regex-bounded-language · candidate





## 43. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-bounded-language；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"c"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},"max_length":3}。請依 [alphabet, canonical_typed_AST, max_length, complete_bounded_language, word_count, bounded_enumeration_complete, epsilon_cycle_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}, 3, [[], [a], [b], [c], [a, a], [b, b], [c, c], [a, a, a], [b, b, b], [c, a, b], [c, c, c]], 11, 是, epsilon_cycles_terminate_by_extensional_dedup)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}, 3, [[], [a], [b], [c], [a, a], [b, b], [c, c], [a, a, a], [b, b, b], [c, a, b], [c, c, c]], 11, 是, epsilon_cycles_terminate_by_extensional_dedup)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0043/)

正規表示式 · qf-mod49-regex-bounded-language · candidate





## 44. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-bounded-language；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"a"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"},{"type":"symbol","value":"a"}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},"max_length":4}。請依 [alphabet, canonical_typed_AST, max_length, complete_bounded_language, word_count, bounded_enumeration_complete, epsilon_cycle_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}, 4, [[], [a], [b], [c], [a, a], [b, b], [c, c], [a, a, a], [b, b, b], [c, c, c], [a, a, a, a], [a, b, c, a], [b, b, b, b], [c, c, c, c]], 14, 是, epsilon_cycles_terminate_by_extensional_dedup)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}, 4, [[], [a], [b], [c], [a, a], [b, b], [c, c], [a, a, a], [b, b, b], [c, c, c], [a, a, a, a], [a, b, c, a], [b, b, b, b], [c, c, c, c]], 14, 是, epsilon_cycles_terminate_by_extensional_dedup)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0044/)

正規表示式 · qf-mod49-regex-bounded-language · candidate





## 45. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-bounded-language；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"c"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},"max_length":5}。請依 [alphabet, canonical_typed_AST, max_length, complete_bounded_language, word_count, bounded_enumeration_complete, epsilon_cycle_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}, 5, [[], [a], [b], [c], [a, a], [b, b], [c, c], [a, a, a], [b, b, b], [c, c, c], [a, a, a, a], [b, b, b, b], [c, c, c, c], [a, a, a, a, a], [b, b, b, b, b], [b, c, a, b, c], [c, c, c, c, c]], 17, 是, epsilon_cycles_terminate_by_extensional_dedup)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}, 5, [[], [a], [b], [c], [a, a], [b, b], [c, c], [a, a, a], [b, b, b], [c, c, c], [a, a, a, a], [b, b, b, b], [c, c, c, c], [a, a, a, a, a], [b, b, b, b, b], [b, c, a, b, c], [c, c, c, c, c]], 17, 是, epsilon_cycles_terminate_by_extensional_dedup)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0045/)

正規表示式 · qf-mod49-regex-bounded-language · candidate





## 46. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-bounded-language；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"symbol","value":"c"},{"type":"star","child":{"type":"symbol","value":"a"}}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},"max_length":1}。請依 [alphabet, canonical_typed_AST, max_length, complete_bounded_language, word_count, bounded_enumeration_complete, epsilon_cycle_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{type:"symbol",value:"c"}],type:"union"}],type:"union"}],type:"union"}],type:"union"}, 1, [[], [a], [b], [c]], 4, 是, epsilon_cycles_terminate_by_extensional_dedup)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{type:"symbol",value:"c"}],type:"union"}],type:"union"}],type:"union"}],type:"union"}, 1, [[], [a], [b], [c]], 4, 是, epsilon_cycles_terminate_by_extensional_dedup)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0046/)

正規表示式 · qf-mod49-regex-bounded-language · candidate





## 47. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-bounded-language；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"a"},{"type":"symbol","value":"b"}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},"max_length":2}。請依 [alphabet, canonical_typed_AST, max_length, complete_bounded_language, word_count, bounded_enumeration_complete, epsilon_cycle_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}],type:"union"}, 2, [[], [a], [b], [c], [a, a], [a, b], [b, b], [c, c]], 8, 是, epsilon_cycles_terminate_by_extensional_dedup)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}],type:"union"}, 2, [[], [a], [b], [c], [a, a], [a, b], [b, b], [c, c]], 8, 是, epsilon_cycles_terminate_by_extensional_dedup)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0047/)

正規表示式 · qf-mod49-regex-bounded-language · candidate





## 48. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-bounded-language；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"c"},{"type":"symbol","value":"a"}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},"max_length":3}。請依 [alphabet, canonical_typed_AST, max_length, complete_bounded_language, word_count, bounded_enumeration_complete, epsilon_cycle_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}],type:"union"}, 3, [[], [a], [b], [c], [a, a], [b, b], [c, c], [a, a, a], [b, b, b], [b, c, a], [c, c, c]], 11, 是, epsilon_cycles_terminate_by_extensional_dedup)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}],type:"union"}, 3, [[], [a], [b], [c], [a, a], [b, b], [c, c], [a, a, a], [b, b, b], [b, c, a], [c, c, c]], 11, 是, epsilon_cycles_terminate_by_extensional_dedup)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0048/)

正規表示式 · qf-mod49-regex-bounded-language · candidate





## 49. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-bounded-language；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"c"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},"max_length":4}。請依 [alphabet, canonical_typed_AST, max_length, complete_bounded_language, word_count, bounded_enumeration_complete, epsilon_cycle_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}],type:"union"}, 4, [[], [a], [b], [c], [a, a], [b, b], [c, c], [a, a, a], [b, b, b], [c, c, c], [a, a, a, a], [b, b, b, b], [c, a, b, c], [c, c, c, c]], 14, 是, epsilon_cycles_terminate_by_extensional_dedup)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}],type:"union"}, 4, [[], [a], [b], [c], [a, a], [b, b], [c, c], [a, a, a], [b, b, b], [c, c, c], [a, a, a, a], [b, b, b, b], [c, a, b, c], [c, c, c, c]], 14, 是, epsilon_cycles_terminate_by_extensional_dedup)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0049/)

正規表示式 · qf-mod49-regex-bounded-language · candidate





## 50. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-bounded-language；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"a"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},"max_length":5}。請依 [alphabet, canonical_typed_AST, max_length, complete_bounded_language, word_count, bounded_enumeration_complete, epsilon_cycle_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}],type:"union"}, 5, [[], [a], [b], [c], [a, a], [b, b], [c, c], [a, a, a], [b, b, b], [c, c, c], [a, a, a, a], [b, b, b, b], [c, c, c, c], [a, a, a, a, a], [a, b, c, a, b], [b, b, b, b, b], [c, c, c, c, c]], 17, 是, epsilon_cycles_terminate_by_extensional_dedup)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}],type:"union"}, 5, [[], [a], [b], [c], [a, a], [b, b], [c, c], [a, a, a], [b, b, b], [c, c, c], [a, a, a, a], [b, b, b, b], [c, c, c, c], [a, a, a, a, a], [a, b, c, a, b], [b, b, b, b, b], [c, c, c, c, c]], 17, 是, epsilon_cycles_terminate_by_extensional_dedup)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0050/)

正規表示式 · qf-mod49-regex-bounded-language · candidate





## 51. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-word-membership；資料={"alphabet":["a","b","c"],"regex":{"type":"symbol","value":"a"},"word":[]}。請依 [alphabet, canonical_typed_AST, word, member, accepted_words_at_same_length, membership_scope] 欄序回答。

查看答案與解釋([a, b, c], {type:"symbol",value:"a"}, [], 否, [], complete_membership_not_absence_from_an_insufficient_bound)

Wave6第十二層核對=([a, b, c], {type:"symbol",value:"a"}, [], 否, [], complete_membership_not_absence_from_an_insufficient_bound)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0051/)

正規表示式 · qf-mod49-regex-word-membership · candidate





## 52. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-word-membership；資料={"alphabet":["a","b","c"],"regex":{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"c"}]},"word":["b"]}。請依 [alphabet, canonical_typed_AST, word, member, accepted_words_at_same_length, membership_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}, [b], 否, [], complete_membership_not_absence_from_an_insufficient_bound)

Wave6第十二層核對=([a, b, c], {children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}, [b], 否, [], complete_membership_not_absence_from_an_insufficient_bound)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0052/)

正規表示式 · qf-mod49-regex-word-membership · candidate





## 53. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-word-membership；資料={"alphabet":["a","b","c"],"regex":{"type":"concat","children":[{"type":"symbol","value":"c"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"}]},"word":["c","a"]}。請依 [alphabet, canonical_typed_AST, word, member, accepted_words_at_same_length, membership_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}, [c, a], 否, [], complete_membership_not_absence_from_an_insufficient_bound)

Wave6第十二層核對=([a, b, c], {children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}, [c, a], 否, [], complete_membership_not_absence_from_an_insufficient_bound)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0053/)

正規表示式 · qf-mod49-regex-word-membership · candidate





## 54. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-word-membership；資料={"alphabet":["a","b","c"],"regex":{"type":"concat","children":[{"type":"symbol","value":"a"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"},{"type":"symbol","value":"a"}]},"word":["a","b","c"]}。請依 [alphabet, canonical_typed_AST, word, member, accepted_words_at_same_length, membership_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}, [a, b, c], 否, [], complete_membership_not_absence_from_an_insufficient_bound)

Wave6第十二層核對=([a, b, c], {children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}, [a, b, c], 否, [], complete_membership_not_absence_from_an_insufficient_bound)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0054/)

正規表示式 · qf-mod49-regex-word-membership · candidate





## 55. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-word-membership；資料={"alphabet":["a","b","c"],"regex":{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"c"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"}]},"word":["b","c","a","b"]}。請依 [alphabet, canonical_typed_AST, word, member, accepted_words_at_same_length, membership_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}, [b, c, a, b], 否, [], complete_membership_not_absence_from_an_insufficient_bound)

Wave6第十二層核對=([a, b, c], {children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}, [b, c, a, b], 否, [], complete_membership_not_absence_from_an_insufficient_bound)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0055/)

正規表示式 · qf-mod49-regex-word-membership · candidate





## 56. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-word-membership；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"symbol","value":"c"},{"type":"star","child":{"type":"symbol","value":"a"}}]},"word":[]}。請依 [alphabet, canonical_typed_AST, word, member, accepted_words_at_same_length, membership_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{type:"symbol",value:"c"}],type:"union"}, [], 是, [[]], complete_membership_not_absence_from_an_insufficient_bound)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{type:"symbol",value:"c"}],type:"union"}, [], 是, [[]], complete_membership_not_absence_from_an_insufficient_bound)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0056/)

正規表示式 · qf-mod49-regex-word-membership · candidate





## 57. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-word-membership；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"a"},{"type":"symbol","value":"b"}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},"word":["a"]}。請依 [alphabet, canonical_typed_AST, word, member, accepted_words_at_same_length, membership_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}, [a], 否, [[b]], complete_membership_not_absence_from_an_insufficient_bound)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}, [a], 否, [[b]], complete_membership_not_absence_from_an_insufficient_bound)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0057/)

正規表示式 · qf-mod49-regex-word-membership · candidate





## 58. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-word-membership；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"c"},{"type":"symbol","value":"a"}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},"word":["b","c"]}。請依 [alphabet, canonical_typed_AST, word, member, accepted_words_at_same_length, membership_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}],type:"union"}, [b, c], 否, [[c, c]], complete_membership_not_absence_from_an_insufficient_bound)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}],type:"union"}, [b, c], 否, [[c, c]], complete_membership_not_absence_from_an_insufficient_bound)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0058/)

正規表示式 · qf-mod49-regex-word-membership · candidate





## 59. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-word-membership；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"c"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},"word":["c","a","b"]}。請依 [alphabet, canonical_typed_AST, word, member, accepted_words_at_same_length, membership_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}],type:"union"}, [c, a, b], 否, [[a, a, a]], complete_membership_not_absence_from_an_insufficient_bound)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}],type:"union"}, [c, a, b], 否, [[a, a, a]], complete_membership_not_absence_from_an_insufficient_bound)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0059/)

正規表示式 · qf-mod49-regex-word-membership · candidate





## 60. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-word-membership；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"a"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},"word":["a","b","c","a"]}。請依 [alphabet, canonical_typed_AST, word, member, accepted_words_at_same_length, membership_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}, [a, b, c, a], 否, [[b, b, b, b]], complete_membership_not_absence_from_an_insufficient_bound)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}, [a, b, c, a], 否, [[b, b, b, b]], complete_membership_not_absence_from_an_insufficient_bound)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0060/)

正規表示式 · qf-mod49-regex-word-membership · candidate





## 61. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-word-membership；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"symbol","value":"b"},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},"word":[]}。請依 [alphabet, canonical_typed_AST, word, member, accepted_words_at_same_length, membership_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{type:"symbol",value:"b"}],type:"union"}],type:"union"}, [], 是, [[]], complete_membership_not_absence_from_an_insufficient_bound)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{type:"symbol",value:"b"}],type:"union"}],type:"union"}, [], 是, [[]], complete_membership_not_absence_from_an_insufficient_bound)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0061/)

正規表示式 · qf-mod49-regex-word-membership · candidate





## 62. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-word-membership；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"c"},{"type":"symbol","value":"a"}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},"word":["c"]}。請依 [alphabet, canonical_typed_AST, word, member, accepted_words_at_same_length, membership_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}],type:"union"}],type:"union"}, [c], 否, [[a], [b]], complete_membership_not_absence_from_an_insufficient_bound)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}],type:"union"}],type:"union"}, [c], 否, [[a], [b]], complete_membership_not_absence_from_an_insufficient_bound)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0062/)

正規表示式 · qf-mod49-regex-word-membership · candidate





## 63. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-word-membership；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"a"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},"word":["a","b"]}。請依 [alphabet, canonical_typed_AST, word, member, accepted_words_at_same_length, membership_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}],type:"union"}],type:"union"}, [a, b], 否, [[b, b], [c, c]], complete_membership_not_absence_from_an_insufficient_bound)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}],type:"union"}],type:"union"}, [a, b], 否, [[b, b], [c, c]], complete_membership_not_absence_from_an_insufficient_bound)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0063/)

正規表示式 · qf-mod49-regex-word-membership · candidate





## 64. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-word-membership；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"c"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},"word":["b","c","a"]}。請依 [alphabet, canonical_typed_AST, word, member, accepted_words_at_same_length, membership_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}],type:"union"}, [b, c, a], 否, [[a, a, a], [c, c, c]], complete_membership_not_absence_from_an_insufficient_bound)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}],type:"union"}, [b, c, a], 否, [[a, a, a], [c, c, c]], complete_membership_not_absence_from_an_insufficient_bound)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0064/)

正規表示式 · qf-mod49-regex-word-membership · candidate





## 65. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-word-membership；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"c"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"},{"type":"symbol","value":"a"}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},"word":["c","a","b","c"]}。請依 [alphabet, canonical_typed_AST, word, member, accepted_words_at_same_length, membership_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}],type:"union"}],type:"union"}, [c, a, b, c], 否, [[a, a, a, a], [b, b, b, b]], complete_membership_not_absence_from_an_insufficient_bound)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}],type:"union"}],type:"union"}, [c, a, b, c], 否, [[a, a, a, a], [b, b, b, b]], complete_membership_not_absence_from_an_insufficient_bound)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0065/)

正規表示式 · qf-mod49-regex-word-membership · candidate





## 66. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-word-membership；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"symbol","value":"a"},{"type":"star","child":{"type":"symbol","value":"b"}}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},"word":[]}。請依 [alphabet, canonical_typed_AST, word, member, accepted_words_at_same_length, membership_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{type:"symbol",value:"a"}],type:"union"}],type:"union"}],type:"union"}, [], 是, [[]], complete_membership_not_absence_from_an_insufficient_bound)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{type:"symbol",value:"a"}],type:"union"}],type:"union"}],type:"union"}, [], 是, [[]], complete_membership_not_absence_from_an_insufficient_bound)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0066/)

正規表示式 · qf-mod49-regex-word-membership · candidate





## 67. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-word-membership；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"c"}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},"word":["b"]}。請依 [alphabet, canonical_typed_AST, word, member, accepted_words_at_same_length, membership_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}, [b], 是, [[a], [b], [c]], complete_membership_not_absence_from_an_insufficient_bound)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}, [b], 是, [[a], [b], [c]], complete_membership_not_absence_from_an_insufficient_bound)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0067/)

正規表示式 · qf-mod49-regex-word-membership · candidate





## 68. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-word-membership；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"c"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},"word":["c","a"]}。請依 [alphabet, canonical_typed_AST, word, member, accepted_words_at_same_length, membership_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}, [c, a], 否, [[a, a], [b, b], [c, c]], complete_membership_not_absence_from_an_insufficient_bound)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}, [c, a], 否, [[a, a], [b, b], [c, c]], complete_membership_not_absence_from_an_insufficient_bound)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0068/)

正規表示式 · qf-mod49-regex-word-membership · candidate





## 69. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-word-membership；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"a"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"},{"type":"symbol","value":"a"}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},"word":["a","b","c"]}。請依 [alphabet, canonical_typed_AST, word, member, accepted_words_at_same_length, membership_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}, [a, b, c], 否, [[a, a, a], [b, b, b], [c, c, c]], complete_membership_not_absence_from_an_insufficient_bound)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}, [a, b, c], 否, [[a, a, a], [b, b, b], [c, c, c]], complete_membership_not_absence_from_an_insufficient_bound)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0069/)

正規表示式 · qf-mod49-regex-word-membership · candidate





## 70. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-word-membership；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"c"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},"word":["b","c","a","b"]}。請依 [alphabet, canonical_typed_AST, word, member, accepted_words_at_same_length, membership_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}, [b, c, a, b], 否, [[a, a, a, a], [b, b, b, b], [c, c, c, c]], complete_membership_not_absence_from_an_insufficient_bound)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}, [b, c, a, b], 否, [[a, a, a, a], [b, b, b, b], [c, c, c, c]], complete_membership_not_absence_from_an_insufficient_bound)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0070/)

正規表示式 · qf-mod49-regex-word-membership · candidate





## 71. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-word-membership；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"symbol","value":"c"},{"type":"star","child":{"type":"symbol","value":"a"}}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},"word":[]}。請依 [alphabet, canonical_typed_AST, word, member, accepted_words_at_same_length, membership_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{type:"symbol",value:"c"}],type:"union"}],type:"union"}],type:"union"}],type:"union"}, [], 是, [[]], complete_membership_not_absence_from_an_insufficient_bound)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{type:"symbol",value:"c"}],type:"union"}],type:"union"}],type:"union"}],type:"union"}, [], 是, [[]], complete_membership_not_absence_from_an_insufficient_bound)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0071/)

正規表示式 · qf-mod49-regex-word-membership · candidate





## 72. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-word-membership；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"a"},{"type":"symbol","value":"b"}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},"word":["a"]}。請依 [alphabet, canonical_typed_AST, word, member, accepted_words_at_same_length, membership_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}],type:"union"}, [a], 是, [[a], [b], [c]], complete_membership_not_absence_from_an_insufficient_bound)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}],type:"union"}, [a], 是, [[a], [b], [c]], complete_membership_not_absence_from_an_insufficient_bound)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0072/)

正規表示式 · qf-mod49-regex-word-membership · candidate





## 73. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-word-membership；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"c"},{"type":"symbol","value":"a"}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},"word":["b","c"]}。請依 [alphabet, canonical_typed_AST, word, member, accepted_words_at_same_length, membership_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}],type:"union"}, [b, c], 否, [[a, a], [b, b], [c, c]], complete_membership_not_absence_from_an_insufficient_bound)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}],type:"union"}, [b, c], 否, [[a, a], [b, b], [c, c]], complete_membership_not_absence_from_an_insufficient_bound)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0073/)

正規表示式 · qf-mod49-regex-word-membership · candidate





## 74. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-word-membership；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"c"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},"word":["c","a","b"]}。請依 [alphabet, canonical_typed_AST, word, member, accepted_words_at_same_length, membership_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}],type:"union"}, [c, a, b], 否, [[a, a, a], [b, b, b], [c, c, c]], complete_membership_not_absence_from_an_insufficient_bound)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}],type:"union"}, [c, a, b], 否, [[a, a, a], [b, b, b], [c, c, c]], complete_membership_not_absence_from_an_insufficient_bound)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0074/)

正規表示式 · qf-mod49-regex-word-membership · candidate





## 75. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-word-membership；資料={"alphabet":["a","b","c"],"regex":{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"union","children":[{"type":"concat","children":[{"type":"symbol","value":"a"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},{"type":"star","child":{"type":"symbol","value":"c"}}]},{"type":"star","child":{"type":"symbol","value":"a"}}]},{"type":"star","child":{"type":"symbol","value":"b"}}]},"word":["a","b","c","a"]}。請依 [alphabet, canonical_typed_AST, word, member, accepted_words_at_same_length, membership_scope] 欄序回答。

查看答案與解釋([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}],type:"union"}, [a, b, c, a], 否, [[a, a, a, a], [b, b, b, b], [c, c, c, c]], complete_membership_not_absence_from_an_insufficient_bound)

Wave6第十二層核對=([a, b, c], {children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{child:{type:"symbol",value:"a"},type:"star"},{children:[{child:{type:"symbol",value:"c"},type:"star"},{children:[{child:{type:"symbol",value:"b"},type:"star"},{children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"},{type:"symbol",value:"c"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}],type:"union"}],type:"union"}],type:"union"}],type:"union"}, [a, b, c, a], 否, [[a, a, a, a], [b, b, b, b], [c, c, c, c]], complete_membership_not_absence_from_an_insufficient_bound)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0075/)

正規表示式 · qf-mod49-regex-word-membership · candidate





## 76. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-boundary；資料={"mode":"empty_vs_epsilon","model":{"alphabet":[]}}。請依 [mode, alphabet, empty_language, epsilon_language, language_identity_claim, boundary] 欄序回答。

四種mode為6/5/11/8欄；[]是空語言，[[]]是含空word的語言。bounded_equality另列下一長度的真正區別；concat保留次序。

查看答案與解釋(empty_vs_epsilon, [], [], [[]], 否, empty_language_not_language_containing_empty_word)

Wave6第十二層核對=(empty_vs_epsilon, [], [], [[]], 否, empty_language_not_language_containing_empty_word)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0076/)

正規表示式 · qf-mod49-regex-boundary · candidate





## 77. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-boundary；資料={"mode":"wildcard_confusion","model":{"alphabet":["a","b"],"token":"*"}}。請依 [mode, alphabet, wildcard_token, core_AST_node_qualification, boundary] 欄序回答。

四種mode為6/5/11/8欄；[]是空語言，[[]]是含空word的語言。bounded_equality另列下一長度的真正區別；concat保留次序。

查看答案與解釋(wildcard_confusion, [a, b], *, 否, shell_wildcard_is_not_a_core_regex_AST_node)

Wave6第十二層核對=(wildcard_confusion, [a, b], *, 否, shell_wildcard_is_not_a_core_regex_AST_node)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0077/)

正規表示式 · qf-mod49-regex-boundary · candidate





## 78. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-boundary；資料={"mode":"wildcard_confusion","model":{"alphabet":["a","b"],"token":"?"}}。請依 [mode, alphabet, wildcard_token, core_AST_node_qualification, boundary] 欄序回答。

四種mode為6/5/11/8欄；[]是空語言，[[]]是含空word的語言。bounded_equality另列下一長度的真正區別；concat保留次序。

查看答案與解釋(wildcard_confusion, [a, b], ?, 否, shell_wildcard_is_not_a_core_regex_AST_node)

Wave6第十二層核對=(wildcard_confusion, [a, b], ?, 否, shell_wildcard_is_not_a_core_regex_AST_node)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0078/)

正規表示式 · qf-mod49-regex-boundary · candidate





## 79. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-boundary；資料={"mode":"bounded_equality","model":{"alphabet":["a"],"left":{"type":"epsilon"},"right":{"type":"union","children":[{"type":"epsilon"},{"type":"concat","children":[{"type":"symbol","value":"a"},{"type":"symbol","value":"a"}]}]},"max_length":1}}。請依 [mode, bound, left_bounded_language, right_bounded_language, equal_through_bound, next_bound, left_next_language, right_next_language, differs_at_next_bound, unbounded_equivalence_claim, boundary] 欄序回答。

四種mode為6/5/11/8欄；[]是空語言，[[]]是含空word的語言。bounded_equality另列下一長度的真正區別；concat保留次序。

查看答案與解釋(bounded_equality, 1, [[]], [[]], 是, 2, [[]], [[], [a, a]], 是, 否, bounded_language_equality_does_not_prove_regex_equivalence)

Wave6第十二層核對=(bounded_equality, 1, [[]], [[]], 是, 2, [[]], [[], [a, a]], 是, 否, bounded_language_equality_does_not_prove_regex_equivalence)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0079/)

正規表示式 · qf-mod49-regex-boundary · candidate





## 80. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-boundary；資料={"mode":"concat_order","model":{"alphabet":["a","b","c"],"left":{"type":"concat","children":[{"type":"symbol","value":"a"},{"type":"symbol","value":"b"}]},"right":{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"a"}]},"max_length":2}}。請依 [mode, left_AST, right_AST, left_bounded_language, right_bounded_language, bounded_languages_equal, order_irrelevance_claim, boundary] 欄序回答。

四種mode為6/5/11/8欄；[]是空語言，[[]]是含空word的語言。bounded_equality另列下一長度的真正區別；concat保留次序。

查看答案與解釋(concat_order, {children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}, {children:[{type:"symbol",value:"b"},{type:"symbol",value:"a"}],type:"concat"}, [[a, b]], [[b, a]], 否, 否, concatenation_order_is_semantic)

Wave6第十二層核對=(concat_order, {children:[{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}, {children:[{type:"symbol",value:"b"},{type:"symbol",value:"a"}],type:"concat"}, [[a, b]], [[b, a]], 否, 否, concatenation_order_is_semantic)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0080/)

正規表示式 · qf-mod49-regex-boundary · candidate





## 81. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-boundary；資料={"mode":"bounded_equality","model":{"alphabet":["b"],"left":{"type":"epsilon"},"right":{"type":"union","children":[{"type":"epsilon"},{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"b"},{"type":"symbol","value":"b"}]}]},"max_length":2}}。請依 [mode, bound, left_bounded_language, right_bounded_language, equal_through_bound, next_bound, left_next_language, right_next_language, differs_at_next_bound, unbounded_equivalence_claim, boundary] 欄序回答。

四種mode為6/5/11/8欄；[]是空語言，[[]]是含空word的語言。bounded_equality另列下一長度的真正區別；concat保留次序。

查看答案與解釋(bounded_equality, 2, [[]], [[]], 是, 3, [[]], [[], [b, b, b]], 是, 否, bounded_language_equality_does_not_prove_regex_equivalence)

Wave6第十二層核對=(bounded_equality, 2, [[]], [[]], 是, 3, [[]], [[], [b, b, b]], 是, 否, bounded_language_equality_does_not_prove_regex_equivalence)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0081/)

正規表示式 · qf-mod49-regex-boundary · candidate





## 82. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-boundary；資料={"mode":"concat_order","model":{"alphabet":["a","b","c"],"left":{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"}]},"right":{"type":"concat","children":[{"type":"symbol","value":"c"},{"type":"symbol","value":"b"},{"type":"symbol","value":"b"}]},"max_length":3}}。請依 [mode, left_AST, right_AST, left_bounded_language, right_bounded_language, bounded_languages_equal, order_irrelevance_claim, boundary] 欄序回答。

四種mode為6/5/11/8欄；[]是空語言，[[]]是含空word的語言。bounded_equality另列下一長度的真正區別；concat保留次序。

查看答案與解釋(concat_order, {children:[{type:"symbol",value:"b"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}, {children:[{type:"symbol",value:"c"},{type:"symbol",value:"b"},{type:"symbol",value:"b"}],type:"concat"}, [[b, b, c]], [[c, b, b]], 否, 否, concatenation_order_is_semantic)

Wave6第十二層核對=(concat_order, {children:[{type:"symbol",value:"b"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}, {children:[{type:"symbol",value:"c"},{type:"symbol",value:"b"},{type:"symbol",value:"b"}],type:"concat"}, [[b, b, c]], [[c, b, b]], 否, 否, concatenation_order_is_semantic)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0082/)

正規表示式 · qf-mod49-regex-boundary · candidate





## 83. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-boundary；資料={"mode":"bounded_equality","model":{"alphabet":["c"],"left":{"type":"epsilon"},"right":{"type":"union","children":[{"type":"epsilon"},{"type":"concat","children":[{"type":"symbol","value":"c"},{"type":"symbol","value":"c"},{"type":"symbol","value":"c"},{"type":"symbol","value":"c"}]}]},"max_length":3}}。請依 [mode, bound, left_bounded_language, right_bounded_language, equal_through_bound, next_bound, left_next_language, right_next_language, differs_at_next_bound, unbounded_equivalence_claim, boundary] 欄序回答。

四種mode為6/5/11/8欄；[]是空語言，[[]]是含空word的語言。bounded_equality另列下一長度的真正區別；concat保留次序。

查看答案與解釋(bounded_equality, 3, [[]], [[]], 是, 4, [[]], [[], [c, c, c, c]], 是, 否, bounded_language_equality_does_not_prove_regex_equivalence)

Wave6第十二層核對=(bounded_equality, 3, [[]], [[]], 是, 4, [[]], [[], [c, c, c, c]], 是, 否, bounded_language_equality_does_not_prove_regex_equivalence)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0083/)

正規表示式 · qf-mod49-regex-boundary · candidate





## 84. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-boundary；資料={"mode":"concat_order","model":{"alphabet":["a","b","c"],"left":{"type":"concat","children":[{"type":"symbol","value":"c"},{"type":"symbol","value":"c"},{"type":"symbol","value":"c"},{"type":"symbol","value":"a"}]},"right":{"type":"concat","children":[{"type":"symbol","value":"a"},{"type":"symbol","value":"c"},{"type":"symbol","value":"c"},{"type":"symbol","value":"c"}]},"max_length":4}}。請依 [mode, left_AST, right_AST, left_bounded_language, right_bounded_language, bounded_languages_equal, order_irrelevance_claim, boundary] 欄序回答。

四種mode為6/5/11/8欄；[]是空語言，[[]]是含空word的語言。bounded_equality另列下一長度的真正區別；concat保留次序。

查看答案與解釋(concat_order, {children:[{type:"symbol",value:"c"},{type:"symbol",value:"c"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}, {children:[{type:"symbol",value:"a"},{type:"symbol",value:"c"},{type:"symbol",value:"c"},{type:"symbol",value:"c"}],type:"concat"}, [[c, c, c, a]], [[a, c, c, c]], 否, 否, concatenation_order_is_semantic)

Wave6第十二層核對=(concat_order, {children:[{type:"symbol",value:"c"},{type:"symbol",value:"c"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}, {children:[{type:"symbol",value:"a"},{type:"symbol",value:"c"},{type:"symbol",value:"c"},{type:"symbol",value:"c"}],type:"concat"}, [[c, c, c, a]], [[a, c, c, c]], 否, 否, concatenation_order_is_semantic)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0084/)

正規表示式 · qf-mod49-regex-boundary · candidate





## 85. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-boundary；資料={"mode":"bounded_equality","model":{"alphabet":["a"],"left":{"type":"epsilon"},"right":{"type":"union","children":[{"type":"epsilon"},{"type":"concat","children":[{"type":"symbol","value":"a"},{"type":"symbol","value":"a"},{"type":"symbol","value":"a"},{"type":"symbol","value":"a"},{"type":"symbol","value":"a"}]}]},"max_length":4}}。請依 [mode, bound, left_bounded_language, right_bounded_language, equal_through_bound, next_bound, left_next_language, right_next_language, differs_at_next_bound, unbounded_equivalence_claim, boundary] 欄序回答。

四種mode為6/5/11/8欄；[]是空語言，[[]]是含空word的語言。bounded_equality另列下一長度的真正區別；concat保留次序。

查看答案與解釋(bounded_equality, 4, [[]], [[]], 是, 5, [[]], [[], [a, a, a, a, a]], 是, 否, bounded_language_equality_does_not_prove_regex_equivalence)

Wave6第十二層核對=(bounded_equality, 4, [[]], [[]], 是, 5, [[]], [[], [a, a, a, a, a]], 是, 否, bounded_language_equality_does_not_prove_regex_equivalence)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0085/)

正規表示式 · qf-mod49-regex-boundary · candidate





## 86. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-boundary；資料={"mode":"concat_order","model":{"alphabet":["a","b","c"],"left":{"type":"concat","children":[{"type":"symbol","value":"a"},{"type":"symbol","value":"a"},{"type":"symbol","value":"a"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"}]},"right":{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"a"},{"type":"symbol","value":"a"},{"type":"symbol","value":"a"},{"type":"symbol","value":"a"}]},"max_length":5}}。請依 [mode, left_AST, right_AST, left_bounded_language, right_bounded_language, bounded_languages_equal, order_irrelevance_claim, boundary] 欄序回答。

四種mode為6/5/11/8欄；[]是空語言，[[]]是含空word的語言。bounded_equality另列下一長度的真正區別；concat保留次序。

查看答案與解釋(concat_order, {children:[{type:"symbol",value:"a"},{type:"symbol",value:"a"},{type:"symbol",value:"a"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}, {children:[{type:"symbol",value:"b"},{type:"symbol",value:"a"},{type:"symbol",value:"a"},{type:"symbol",value:"a"},{type:"symbol",value:"a"}],type:"concat"}, [[a, a, a, a, b]], [[b, a, a, a, a]], 否, 否, concatenation_order_is_semantic)

Wave6第十二層核對=(concat_order, {children:[{type:"symbol",value:"a"},{type:"symbol",value:"a"},{type:"symbol",value:"a"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}, {children:[{type:"symbol",value:"b"},{type:"symbol",value:"a"},{type:"symbol",value:"a"},{type:"symbol",value:"a"},{type:"symbol",value:"a"}],type:"concat"}, [[a, a, a, a, b]], [[b, a, a, a, a]], 否, 否, concatenation_order_is_semantic)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0086/)

正規表示式 · qf-mod49-regex-boundary · candidate





## 87. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-boundary；資料={"mode":"bounded_equality","model":{"alphabet":["b"],"left":{"type":"epsilon"},"right":{"type":"union","children":[{"type":"epsilon"},{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"b"},{"type":"symbol","value":"b"},{"type":"symbol","value":"b"},{"type":"symbol","value":"b"},{"type":"symbol","value":"b"}]}]},"max_length":5}}。請依 [mode, bound, left_bounded_language, right_bounded_language, equal_through_bound, next_bound, left_next_language, right_next_language, differs_at_next_bound, unbounded_equivalence_claim, boundary] 欄序回答。

四種mode為6/5/11/8欄；[]是空語言，[[]]是含空word的語言。bounded_equality另列下一長度的真正區別；concat保留次序。

查看答案與解釋(bounded_equality, 5, [[]], [[]], 是, 6, [[]], [[], [b, b, b, b, b, b]], 是, 否, bounded_language_equality_does_not_prove_regex_equivalence)

Wave6第十二層核對=(bounded_equality, 5, [[]], [[]], 是, 6, [[]], [[], [b, b, b, b, b, b]], 是, 否, bounded_language_equality_does_not_prove_regex_equivalence)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0087/)

正規表示式 · qf-mod49-regex-boundary · candidate





## 88. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-boundary；資料={"mode":"concat_order","model":{"alphabet":["a","b","c"],"left":{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"c"}]},"right":{"type":"concat","children":[{"type":"symbol","value":"c"},{"type":"symbol","value":"b"}]},"max_length":2}}。請依 [mode, left_AST, right_AST, left_bounded_language, right_bounded_language, bounded_languages_equal, order_irrelevance_claim, boundary] 欄序回答。

四種mode為6/5/11/8欄；[]是空語言，[[]]是含空word的語言。bounded_equality另列下一長度的真正區別；concat保留次序。

查看答案與解釋(concat_order, {children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}, {children:[{type:"symbol",value:"c"},{type:"symbol",value:"b"}],type:"concat"}, [[b, c]], [[c, b]], 否, 否, concatenation_order_is_semantic)

Wave6第十二層核對=(concat_order, {children:[{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}, {children:[{type:"symbol",value:"c"},{type:"symbol",value:"b"}],type:"concat"}, [[b, c]], [[c, b]], 否, 否, concatenation_order_is_semantic)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0088/)

正規表示式 · qf-mod49-regex-boundary · candidate





## 89. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-boundary；資料={"mode":"bounded_equality","model":{"alphabet":["c"],"left":{"type":"epsilon"},"right":{"type":"union","children":[{"type":"epsilon"},{"type":"concat","children":[{"type":"symbol","value":"c"},{"type":"symbol","value":"c"},{"type":"symbol","value":"c"},{"type":"symbol","value":"c"},{"type":"symbol","value":"c"},{"type":"symbol","value":"c"},{"type":"symbol","value":"c"}]}]},"max_length":6}}。請依 [mode, bound, left_bounded_language, right_bounded_language, equal_through_bound, next_bound, left_next_language, right_next_language, differs_at_next_bound, unbounded_equivalence_claim, boundary] 欄序回答。

四種mode為6/5/11/8欄；[]是空語言，[[]]是含空word的語言。bounded_equality另列下一長度的真正區別；concat保留次序。

查看答案與解釋(bounded_equality, 6, [[]], [[]], 是, 7, [[]], [[], [c, c, c, c, c, c, c]], 是, 否, bounded_language_equality_does_not_prove_regex_equivalence)

Wave6第十二層核對=(bounded_equality, 6, [[]], [[]], 是, 7, [[]], [[], [c, c, c, c, c, c, c]], 是, 否, bounded_language_equality_does_not_prove_regex_equivalence)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0089/)

正規表示式 · qf-mod49-regex-boundary · candidate





## 90. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-boundary；資料={"mode":"concat_order","model":{"alphabet":["a","b","c"],"left":{"type":"concat","children":[{"type":"symbol","value":"c"},{"type":"symbol","value":"c"},{"type":"symbol","value":"a"}]},"right":{"type":"concat","children":[{"type":"symbol","value":"a"},{"type":"symbol","value":"c"},{"type":"symbol","value":"c"}]},"max_length":3}}。請依 [mode, left_AST, right_AST, left_bounded_language, right_bounded_language, bounded_languages_equal, order_irrelevance_claim, boundary] 欄序回答。

四種mode為6/5/11/8欄；[]是空語言，[[]]是含空word的語言。bounded_equality另列下一長度的真正區別；concat保留次序。

查看答案與解釋(concat_order, {children:[{type:"symbol",value:"c"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}, {children:[{type:"symbol",value:"a"},{type:"symbol",value:"c"},{type:"symbol",value:"c"}],type:"concat"}, [[c, c, a]], [[a, c, c]], 否, 否, concatenation_order_is_semantic)

Wave6第十二層核對=(concat_order, {children:[{type:"symbol",value:"c"},{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}, {children:[{type:"symbol",value:"a"},{type:"symbol",value:"c"},{type:"symbol",value:"c"}],type:"concat"}, [[c, c, a]], [[a, c, c]], 否, 否, concatenation_order_is_semantic)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0090/)

正規表示式 · qf-mod49-regex-boundary · candidate





## 91. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-boundary；資料={"mode":"bounded_equality","model":{"alphabet":["a"],"left":{"type":"epsilon"},"right":{"type":"union","children":[{"type":"epsilon"},{"type":"concat","children":[{"type":"symbol","value":"a"},{"type":"symbol","value":"a"},{"type":"symbol","value":"a"},{"type":"symbol","value":"a"},{"type":"symbol","value":"a"},{"type":"symbol","value":"a"},{"type":"symbol","value":"a"},{"type":"symbol","value":"a"}]}]},"max_length":7}}。請依 [mode, bound, left_bounded_language, right_bounded_language, equal_through_bound, next_bound, left_next_language, right_next_language, differs_at_next_bound, unbounded_equivalence_claim, boundary] 欄序回答。

四種mode為6/5/11/8欄；[]是空語言，[[]]是含空word的語言。bounded_equality另列下一長度的真正區別；concat保留次序。

查看答案與解釋(bounded_equality, 7, [[]], [[]], 是, 8, [[]], [[], [a, a, a, a, a, a, a, a]], 是, 否, bounded_language_equality_does_not_prove_regex_equivalence)

Wave6第十二層核對=(bounded_equality, 7, [[]], [[]], 是, 8, [[]], [[], [a, a, a, a, a, a, a, a]], 是, 否, bounded_language_equality_does_not_prove_regex_equivalence)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0091/)

正規表示式 · qf-mod49-regex-boundary · candidate





## 92. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-boundary；資料={"mode":"concat_order","model":{"alphabet":["a","b","c"],"left":{"type":"concat","children":[{"type":"symbol","value":"a"},{"type":"symbol","value":"a"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"}]},"right":{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"a"},{"type":"symbol","value":"a"},{"type":"symbol","value":"a"}]},"max_length":4}}。請依 [mode, left_AST, right_AST, left_bounded_language, right_bounded_language, bounded_languages_equal, order_irrelevance_claim, boundary] 欄序回答。

四種mode為6/5/11/8欄；[]是空語言，[[]]是含空word的語言。bounded_equality另列下一長度的真正區別；concat保留次序。

查看答案與解釋(concat_order, {children:[{type:"symbol",value:"a"},{type:"symbol",value:"a"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}, {children:[{type:"symbol",value:"b"},{type:"symbol",value:"a"},{type:"symbol",value:"a"},{type:"symbol",value:"a"}],type:"concat"}, [[a, a, a, b]], [[b, a, a, a]], 否, 否, concatenation_order_is_semantic)

Wave6第十二層核對=(concat_order, {children:[{type:"symbol",value:"a"},{type:"symbol",value:"a"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}, {children:[{type:"symbol",value:"b"},{type:"symbol",value:"a"},{type:"symbol",value:"a"},{type:"symbol",value:"a"}],type:"concat"}, [[a, a, a, b]], [[b, a, a, a]], 否, 否, concatenation_order_is_semantic)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0092/)

正規表示式 · qf-mod49-regex-boundary · candidate





## 93. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-boundary；資料={"mode":"bounded_equality","model":{"alphabet":["b"],"left":{"type":"epsilon"},"right":{"type":"union","children":[{"type":"epsilon"},{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"b"}]}]},"max_length":1}}。請依 [mode, bound, left_bounded_language, right_bounded_language, equal_through_bound, next_bound, left_next_language, right_next_language, differs_at_next_bound, unbounded_equivalence_claim, boundary] 欄序回答。

四種mode為6/5/11/8欄；[]是空語言，[[]]是含空word的語言。bounded_equality另列下一長度的真正區別；concat保留次序。

查看答案與解釋(bounded_equality, 1, [[]], [[]], 是, 2, [[]], [[], [b, b]], 是, 否, bounded_language_equality_does_not_prove_regex_equivalence)

Wave6第十二層核對=(bounded_equality, 1, [[]], [[]], 是, 2, [[]], [[], [b, b]], 是, 否, bounded_language_equality_does_not_prove_regex_equivalence)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0093/)

正規表示式 · qf-mod49-regex-boundary · candidate





## 94. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-boundary；資料={"mode":"concat_order","model":{"alphabet":["a","b","c"],"left":{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"b"},{"type":"symbol","value":"b"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"}]},"right":{"type":"concat","children":[{"type":"symbol","value":"c"},{"type":"symbol","value":"b"},{"type":"symbol","value":"b"},{"type":"symbol","value":"b"},{"type":"symbol","value":"b"}]},"max_length":5}}。請依 [mode, left_AST, right_AST, left_bounded_language, right_bounded_language, bounded_languages_equal, order_irrelevance_claim, boundary] 欄序回答。

四種mode為6/5/11/8欄；[]是空語言，[[]]是含空word的語言。bounded_equality另列下一長度的真正區別；concat保留次序。

查看答案與解釋(concat_order, {children:[{type:"symbol",value:"b"},{type:"symbol",value:"b"},{type:"symbol",value:"b"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}, {children:[{type:"symbol",value:"c"},{type:"symbol",value:"b"},{type:"symbol",value:"b"},{type:"symbol",value:"b"},{type:"symbol",value:"b"}],type:"concat"}, [[b, b, b, b, c]], [[c, b, b, b, b]], 否, 否, concatenation_order_is_semantic)

Wave6第十二層核對=(concat_order, {children:[{type:"symbol",value:"b"},{type:"symbol",value:"b"},{type:"symbol",value:"b"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}, {children:[{type:"symbol",value:"c"},{type:"symbol",value:"b"},{type:"symbol",value:"b"},{type:"symbol",value:"b"},{type:"symbol",value:"b"}],type:"concat"}, [[b, b, b, b, c]], [[c, b, b, b, b]], 否, 否, concatenation_order_is_semantic)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0094/)

正規表示式 · qf-mod49-regex-boundary · candidate





## 95. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-boundary；資料={"mode":"bounded_equality","model":{"alphabet":["c"],"left":{"type":"epsilon"},"right":{"type":"union","children":[{"type":"epsilon"},{"type":"concat","children":[{"type":"symbol","value":"c"},{"type":"symbol","value":"c"},{"type":"symbol","value":"c"}]}]},"max_length":2}}。請依 [mode, bound, left_bounded_language, right_bounded_language, equal_through_bound, next_bound, left_next_language, right_next_language, differs_at_next_bound, unbounded_equivalence_claim, boundary] 欄序回答。

四種mode為6/5/11/8欄；[]是空語言，[[]]是含空word的語言。bounded_equality另列下一長度的真正區別；concat保留次序。

查看答案與解釋(bounded_equality, 2, [[]], [[]], 是, 3, [[]], [[], [c, c, c]], 是, 否, bounded_language_equality_does_not_prove_regex_equivalence)

Wave6第十二層核對=(bounded_equality, 2, [[]], [[]], 是, 3, [[]], [[], [c, c, c]], 是, 否, bounded_language_equality_does_not_prove_regex_equivalence)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0095/)

正規表示式 · qf-mod49-regex-boundary · candidate





## 96. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-boundary；資料={"mode":"concat_order","model":{"alphabet":["a","b","c"],"left":{"type":"concat","children":[{"type":"symbol","value":"c"},{"type":"symbol","value":"a"}]},"right":{"type":"concat","children":[{"type":"symbol","value":"a"},{"type":"symbol","value":"c"}]},"max_length":2}}。請依 [mode, left_AST, right_AST, left_bounded_language, right_bounded_language, bounded_languages_equal, order_irrelevance_claim, boundary] 欄序回答。

四種mode為6/5/11/8欄；[]是空語言，[[]]是含空word的語言。bounded_equality另列下一長度的真正區別；concat保留次序。

查看答案與解釋(concat_order, {children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}, {children:[{type:"symbol",value:"a"},{type:"symbol",value:"c"}],type:"concat"}, [[c, a]], [[a, c]], 否, 否, concatenation_order_is_semantic)

Wave6第十二層核對=(concat_order, {children:[{type:"symbol",value:"c"},{type:"symbol",value:"a"}],type:"concat"}, {children:[{type:"symbol",value:"a"},{type:"symbol",value:"c"}],type:"concat"}, [[c, a]], [[a, c]], 否, 否, concatenation_order_is_semantic)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0096/)

正規表示式 · qf-mod49-regex-boundary · candidate





## 97. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-boundary；資料={"mode":"bounded_equality","model":{"alphabet":["a"],"left":{"type":"epsilon"},"right":{"type":"union","children":[{"type":"epsilon"},{"type":"concat","children":[{"type":"symbol","value":"a"},{"type":"symbol","value":"a"},{"type":"symbol","value":"a"},{"type":"symbol","value":"a"}]}]},"max_length":3}}。請依 [mode, bound, left_bounded_language, right_bounded_language, equal_through_bound, next_bound, left_next_language, right_next_language, differs_at_next_bound, unbounded_equivalence_claim, boundary] 欄序回答。

四種mode為6/5/11/8欄；[]是空語言，[[]]是含空word的語言。bounded_equality另列下一長度的真正區別；concat保留次序。

查看答案與解釋(bounded_equality, 3, [[]], [[]], 是, 4, [[]], [[], [a, a, a, a]], 是, 否, bounded_language_equality_does_not_prove_regex_equivalence)

Wave6第十二層核對=(bounded_equality, 3, [[]], [[]], 是, 4, [[]], [[], [a, a, a, a]], 是, 否, bounded_language_equality_does_not_prove_regex_equivalence)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0097/)

正規表示式 · qf-mod49-regex-boundary · candidate





## 98. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-boundary；資料={"mode":"concat_order","model":{"alphabet":["a","b","c"],"left":{"type":"concat","children":[{"type":"symbol","value":"a"},{"type":"symbol","value":"a"},{"type":"symbol","value":"b"}]},"right":{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"a"},{"type":"symbol","value":"a"}]},"max_length":3}}。請依 [mode, left_AST, right_AST, left_bounded_language, right_bounded_language, bounded_languages_equal, order_irrelevance_claim, boundary] 欄序回答。

四種mode為6/5/11/8欄；[]是空語言，[[]]是含空word的語言。bounded_equality另列下一長度的真正區別；concat保留次序。

查看答案與解釋(concat_order, {children:[{type:"symbol",value:"a"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}, {children:[{type:"symbol",value:"b"},{type:"symbol",value:"a"},{type:"symbol",value:"a"}],type:"concat"}, [[a, a, b]], [[b, a, a]], 否, 否, concatenation_order_is_semantic)

Wave6第十二層核對=(concat_order, {children:[{type:"symbol",value:"a"},{type:"symbol",value:"a"},{type:"symbol",value:"b"}],type:"concat"}, {children:[{type:"symbol",value:"b"},{type:"symbol",value:"a"},{type:"symbol",value:"a"}],type:"concat"}, [[a, a, b]], [[b, a, a]], 否, 否, concatenation_order_is_semantic)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0098/)

正規表示式 · qf-mod49-regex-boundary · candidate





## 99. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-boundary；資料={"mode":"bounded_equality","model":{"alphabet":["b"],"left":{"type":"epsilon"},"right":{"type":"union","children":[{"type":"epsilon"},{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"b"},{"type":"symbol","value":"b"},{"type":"symbol","value":"b"},{"type":"symbol","value":"b"}]}]},"max_length":4}}。請依 [mode, bound, left_bounded_language, right_bounded_language, equal_through_bound, next_bound, left_next_language, right_next_language, differs_at_next_bound, unbounded_equivalence_claim, boundary] 欄序回答。

四種mode為6/5/11/8欄；[]是空語言，[[]]是含空word的語言。bounded_equality另列下一長度的真正區別；concat保留次序。

查看答案與解釋(bounded_equality, 4, [[]], [[]], 是, 5, [[]], [[], [b, b, b, b, b]], 是, 否, bounded_language_equality_does_not_prove_regex_equivalence)

Wave6第十二層核對=(bounded_equality, 4, [[]], [[]], 是, 5, [[]], [[], [b, b, b, b, b]], 是, 否, bounded_language_equality_does_not_prove_regex_equivalence)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0099/)

正規表示式 · qf-mod49-regex-boundary · candidate





## 100. 正規表示式

typed regex AST、finite alphabet與完整word semantics責任。操作=regex-boundary；資料={"mode":"concat_order","model":{"alphabet":["a","b","c"],"left":{"type":"concat","children":[{"type":"symbol","value":"b"},{"type":"symbol","value":"b"},{"type":"symbol","value":"b"},{"type":"symbol","value":"c"}]},"right":{"type":"concat","children":[{"type":"symbol","value":"c"},{"type":"symbol","value":"b"},{"type":"symbol","value":"b"},{"type":"symbol","value":"b"}]},"max_length":4}}。請依 [mode, left_AST, right_AST, left_bounded_language, right_bounded_language, bounded_languages_equal, order_irrelevance_claim, boundary] 欄序回答。

四種mode為6/5/11/8欄；[]是空語言，[[]]是含空word的語言。bounded_equality另列下一長度的真正區別；concat保留次序。

查看答案與解釋(concat_order, {children:[{type:"symbol",value:"b"},{type:"symbol",value:"b"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}, {children:[{type:"symbol",value:"c"},{type:"symbol",value:"b"},{type:"symbol",value:"b"},{type:"symbol",value:"b"}],type:"concat"}, [[b, b, b, c]], [[c, b, b, b]], 否, 否, concatenation_order_is_semantic)

Wave6第十二層核對=(concat_order, {children:[{type:"symbol",value:"b"},{type:"symbol",value:"b"},{type:"symbol",value:"b"},{type:"symbol",value:"c"}],type:"concat"}, {children:[{type:"symbol",value:"c"},{type:"symbol",value:"b"},{type:"symbol",value:"b"},{type:"symbol",value:"b"}],type:"concat"}, [[b, b, b, c]], [[c, b, b, b]], 否, 否, concatenation_order_is_semantic)；依完整明示資料獨立重算；empty language、epsilon、union、ordered concat與star嚴格區分並處理epsilon cycle；bounded enumeration不證unbounded equivalence；shell wildcard不是核心AST。



[本題逐步詳解（AI 二次覆核）](https://ocme.evemisslab.com/zh-Hant/questions/q-20261015-advance-20261118-r06-regular-expression-0100/)

正規表示式 · qf-mod49-regex-boundary · candidate



[原始題目 JSONL](https://ocme.evemisslab.com/data/questions/batches/batch-20261015-advance-20261118-r06-regular-expression-foundations/questions.jsonl) · [驗收報告](https://ocme.evemisslab.com/data/questions/batches/batch-20261015-advance-20261118-r06-regular-expression-foundations/validation-report.json)