Cho ngôn ngữ hữu hạn L, hai chuỗi x, y và một tập hậu tố ứng viên E. Hãy tìm hậu tố e ∈ E nhỏ nhất theo thứ tự từ điển phân biệt được x và y, tức x·e ∈ L khác y·e ∈ L. Nếu không có e nào trong E phân biệt được thì in EQUIV.
Quy ước: dấu . biểu diễn chuỗi rỗng ε (ở cả đầu vào lẫn đầu ra). Chuỗi rỗng là nhỏ nhất theo thứ tự từ điển.
Ví dụ: L = {ab, b, ba}, x = a, y = b, E = {., a, b} → với e = ε: a ∉ L nhưng b ∈ L → khác nhau → in ..
Dòng 1: nL, rồi nL token của L. Dòng tiếp: token x. Dòng tiếp: token y. Dòng tiếp: nE, rồi nE token của E. (. = ε).
1 ≤ nL, nE ≤ 100, độ dài token ≤ 50.
Một dòng: hậu tố phân biệt nhỏ nhất (dùng . nếu là ε) hoặc EQUIV.
Ví dụ:
Đầu vào:
3
ab
b
ba
a
b
3
.
a
b
Đầu ra:
.
Giải thích:
Đang tải editor...