Cho bảng chữ Σ và biểu thức chính quy R (có thể chứa @ = tập rỗng). Ngôn ngữ L(R) rỗng nghĩa là R không khớp bất kỳ chuỗi nào. Hãy kiểm tra.
Gợi ý: xây DFA rồi kiểm tra có trạng thái nhận nào tới được từ trạng thái đầu không.
Chú ý: @* khớp chuỗi rỗng (star cho phép lặp 0 lần) nên không rỗng.
Ví dụ: @ → RONG; a@ → RONG; a|@ → KHAC.
Dòng 1: Σ. Dòng 2: R.
|Σ| ≤ 10, |R| ≤ 200.
In RONG nếu L(R)=∅, ngược lại KHAC.
Ví dụ:
Đầu vào:
a
a@
Đầu ra:
RONG
Giải thích:
Đang tải editor...