Cho bảng chữ Σ và hai biểu thức chính quy R1, R2. Kiểm tra L(R1) ⊆ L(R2) (mọi chuỗi khớp R1 đều khớp R2).
Gợi ý: xây DFA đầy đủ cho cả hai rồi duyệt tích; nếu tồn tại trạng thái tích mà R1 nhận nhưng R2 không nhận thì bao hàm sai.
Ví dụ: L(ab) ⊆ L((a|b)*) đúng; L((a|b)*) ⊆ L(ab) sai.
Dòng 1: Σ. Dòng 2: R1. Dòng 3: R2.
|Σ| ≤ 6, |R1|,|R2| ≤ 200.
In CON nếu L(R1) ⊆ L(R2), ngược lại KHONG.
Ví dụ:
Đầu vào:
ab
ab
(a|b)*
Đầu ra:
CON
Giải thích:
Đang tải editor...