Tài liệu Bài tập lý thuyết nnht&automata

1. Tìm các dfa cho các ngôn ngữ sau:
L1 = {w ∈ {a, b}*: na(w) mod 2 = 0, nb(w) mod 2 = 1}
L2 = {w ∈ {0, 1}*: mỗi chuỗi 00 được theo ngay sau bởi một số 1}
L3 = {tập tất cả các danh hiệu của Pascal}
Mô tả danh hiệu: bắt đầu bằng một kí tự chữ (a đến z, A đến Z) hoặc dấu gạch dưới
(_) sau đó là một chuỗi bất kỳ bao gồm các kí tự chữ, số (0 đến 9) và dấu gạch dưới.
L4 = {tập tất cả các số nguyên của Pascal}
Mô tả số nguyên: 12, +12, -12
{tập tất cả các số thực của Pascal}
Mô tả số thực: 12.5, +12.5, -12.5, 12E3, +12E3, -12E3, 12E-3, +12E+3, -12E+3,
+12E3, -12E3, 12E-312.5, +12.5, -12.5, . Có thể có bao nhiêu số 0 đi đầu đều được,
ví dụ: 012, 0012, +012, -012, 012.5, . Có thể được viết dưới dạng khoa học như sau:
12E3, 12.5E3, +12.5E3, -12.5E3, 12.5E+3, 12.5E-3, -12.5E-3, .