Môn học: Nguyên lý biên dịch và lập trình GVGD: GS.TS.

Phan Thị Tươi

Họ và tên sinh viên: Mai Anh Thư MSSV: 1814270

BÀI TẬP VỀ NHÀ CHƯƠNG 3

3.3. Hãy xây dựng NFA cho các biểu thức chính quy sau bằng giải thuật 3.3. Hãy tính
chuỗi các hàm truyền của mỗi NFA khi chúng hoạt động để nhận dạng chuỗi nhập
ababbabb
c) ((ϵ | a)b*)*

Chuỗi các hàm truyền của NFA khi hoạt động để nhận dạng chuỗi nhập ababbabb
0145678914567878914567878
910
d) (a | b)*abb(a | b)*

Chuỗi các hàm truyền của NFA khi hoạt động để nhận dạng chuỗi nhập ababbabb
012361456789101112131611141516
1114151617
3.4. Chuyển các NFA ở bài tập 3.3 sang DFA bằng giải thuật 3.2. Hãy tìm chuỗi các
chuyển dịch của DFA để nhận dạng chuỗi nhập ababbabb
c) ((ϵ | a)b*)*
ϵ-closure (0) = {0,1,2,3,4,6,7,9,10} = A
ϵ-closure (move(A,a)) = ϵ-closure ({5}) = {1,2,3,4,5,6,7,9,10} = B
ϵ-closure (move(A,b)) = ϵ-closure ({8}) = {1,2,3,4,6,7,8,9,10} = C
ϵ-closure (move(B,a)) = ϵ-closure ({3}) = B
ϵ-closure (move(B,b)) = ϵ-closure ({5}) = C
ϵ-closure (move(C,a)) = ϵ-closure ({3}) = B
ϵ-closure (move(C,b)) = ϵ-closure ({5}) = C
Môn học: Nguyên lý biên dịch và lập trình GVGD: GS.TS. Phan Thị Tươi
Họ và tên sinh viên: Mai Anh Thư MSSV: 1814270

Bảng truyền cho DFA

Ký tự đầu vào
Trạng thái
a b
A B C
B B C
C B C

Chuỗi các hàm truyền của NFA khi hoạt động để nhận dạng chuỗi nhập ababbabb:
ABCBCCBCC

3.5. Xây dựng DFA trực tiếp từ biểu thức chính quy ở bài tập 3.3 bằng giải thuật 3.5. So
sánh kích thước DFA với DFA được xây dựng ở bài tập 3.4
c) ((ϵ | a)b*)*
Nhận xét đơn giản hóa bài toán: Biểu thức chính quy ((ϵ | a)b*)* tương đương với (a|b)*
Ta xây dựng cây phân tích biểu thức chính quy trong đó có firstpos và lastpos cho (a|b)*#
Môn học: Nguyên lý biên dịch và lập trình GVGD: GS.TS. Phan Thị Tươi
Họ và tên sinh viên: Mai Anh Thư MSSV: 1814270

A=firstpos(cat2)={1,2,3}
a  1 trong A
followpos(1)={1,2,3}=A
Suy ra [A,a]=A
b  2 trong A
followpos(1)={1,2,3}=A
Suy ra [A,b]=A

Ký tự đầu vào
Trạng thái
a b
A A A
DFA rút gọn của ((ϵ | a)b*)* như hình dưới, 1 đại diện cho A:

 So sánh kích thước, ta nhận thấy khi xây dựng DFA trực tiếp bằng biểu thức chính
quy tương đương, DFA nhận được có kích cỡ rút gọn hơn. Thực tế khi quan sát bảng
truyền cho DFA ở câu 3.4 như bên dưới, các trạng thái A, B, C có thể rút gọn lại
thành 1 trạng thái A (do có cùng trạng thái với đầu vào tương ứng), ta thu được bảng
truyền DFA rút gọn như trên, tức là:

Ký tự đầu vào
Trạng thái
a b Ký tự đầu vào
 Trạng thái
A B C a b
B B C A A A
C B C