Lớp chính quy đóng dưới phép giao: L₁ ∩ L₂ chính quy (DFA tích, nhận khi cả hai DFA cùng nhận).
Cho hai DFA trên {0,1} và chuỗi w, cho biết w ∈ L₁ ∩ L₂.
Ở đây L₁ = "số chữ số 1 chẵn", L₂ = "có ít nhất một chữ số 0".
Giống bài Hợp: hai khối DFA liên tiếp rồi dòng chuỗi w.
1 ≤ n ≤ 50 mỗi DFA, |w| ≤ 200, w ∈ {0,1}*.
Một dòng: YES nếu w ∈ L₁ ∩ L₂, ngược lại NO.
Ví dụ:
Đầu vào:
2
0 1
1 0
0
0
2
1 0
1 1
0
1
0
Đầu ra:
YES
Giải thích:
Đang tải editor...