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: Nối (concatenation)

    Lớp chính quy đóng dưới phép nối: L₁·L₂ = { uv : u ∈ L₁, v ∈ L₂ }.

    Cho hai ngôn ngữ hữu hạn L₁, L₂ và chuỗi w, hãy cho biết w ∈ L₁·L₂ — tức tồn tại cách tách w = uv sao cho u ∈ L₁ và v ∈ L₂.

    Ví dụ: L₁ = {a, ab}, L₂ = {b, ba}, w = ab → tách a|b: a ∈ L₁, b ∈ L₂ → YES.

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

      Dòng 1: n₁, rồi n₁ chuỗi của L₁. Dòng tiếp: n₂, rồi n₂ chuỗi của L₂. Dòng cuối: w.

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

      1 ≤ n₁, n₂ ≤ 100, |w| ≤ 200.

    • Đị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
    a
    ab
    2
    b
    ba
    ab

    Đầu ra:

    YES

    Giải thích:

    Tách a|b: a∈L₁ và b∈L₂ → YES.

    Đang tải editor...