Các lượt nộp
    Danh sách bài
    Trang chủ
    Báo lỗi

    solution

    Đề bài: [Automat & NN hình thức] Tính chất đóng: Giao (intersection)

    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".

    • Định dạng đầu vào:

      Giống bài Hợp: hai khối DFA liên tiếp rồi dòng chuỗi w.

    • Ràng buộc đầu vào:

      1 ≤ n ≤ 50 mỗi DFA, |w| ≤ 200, w ∈ {0,1}*.

    • Định dạng đầu ra:

      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:

    '0' có số '1' chẵn (0) và có chữ '0' → thuộc cả hai → YES.

    Đang tải editor...