Ch ng 4ươ Ôtômat đ y xu ngẩ ố GV Nguyê n Thi Hô ng̃ ̣̀ Email nguyenhong@hnue edu vn N i dungộ Ô tô mát đ y xu ngẩ ố S t ng đ ng gi a các lo i ô tô mát đ y xu ngự ươ ươ ữ ạ ẩ ố M i quan h gi a ô[.]
Chương 4 Ơtơmat đẩy xuống GV: Ngũn Thi Hơ ̣ ̀ng Email: nguyenhong@hnue.edu.vn Nội dung Ơ tơ mát đẩy xuống Sự tương đương giữa các loại ơ tơ mát đẩy xuống Mối quan hệ giữa ơ tơ mát đẩy xuống và văn phạm phi ngữ cảnh Ngơn ngữ phi ngữ cảnh Ơ tơ mát đẩy xuống (ODX) Mơ tả trực quan: Ơ tơ mát đẩy xuống Cấu tạo: Một băng vào chứa các kí hiệu của xâu vào Một đầu đọc duyệt băng từ trái qua phải Một bộ điều khiển các trạng thái hữu hạn Một stack có khả năng nhớ vơ hạn, lúc đầu là rỗng (lúc đầu stack chứa một kí hiệu đặc biệt để đánh dấu đáy stack) Hoạt động của Ơ tơ mát đẩy xuống Ban đầu, stack là rỗng Q trình thực hiện của ơ tơ mát đẩy xuống tương tự như ơ tơ mát hữu hạn khơng tiền định Mỗi bước thực hiện của Ơ tơ mát đẩy xuống căn cứ vào ba yếu tố: Kí hiệu ở đỉnh stack Trạng thái của ơ tơ mát Kí hiệu đọc được trên băng vào Hoạt động của Ơ tơ mát đẩy xuống Mỗi dịch chuyển gồm các hành động: Thay đổi nội dung stack (đỉnh stack) Thay đổi trạng thái Đầu đọc dịch sang phải một ơ Chú ý: tồn tại dịch chuyển nghĩa là kí hiệu trên băng khơng được tham khảo (đầu đọc khơng dịch chuyển sang phải) Sự đốn nhận của ODX Có hai cách thừa nhận xâu: Xâu vào được thừa nhận khi ơ tơ mát đọc hết xâu và đến một trạng thái thừa nhận Xâu vào được thừa nhận khi ơ tơ mát đọc hết xâu và lúc đó stack rỗng Ơ tơ mát đẩy xuống Định nghĩa IV.1 Ơ tơ mát đẩy xuống khơng tiền định là một bộ 7 thành phần: M (Σ, Q, Γ, δ, q0, Z0, F) Q : tập hữu hạn các trạng thái Σ : bộ chữ vào Γ : bộ chữ cái Stack, Q Γ= Ø δ : hàm chuyển Γ x Q x (Σ {ε}) → tập con của Q x Γ* q0 : trạng thái khởi đầu Z0 : ký hiệu bắt đầu trên Stack(đáy stack) F Q : tập các trạng thái kết thúc Ơ tơ mát đẩy xuống Ta gọi hình trạng của ơ tơ mát đẩy xuống là mọi xâu có dạng qw trong đó Γ*, q Q, w * Hình trạng có dạng Z0q0x được gọi là hình trạng ban đầu Hệ viết lại ngầm định trong M là W=(V, P): V=Q Γ P: ( ,p) δ(z,q,a) hay zqa p là một quy tắc trong P Ơ tơ mát đẩy xuống Ngơn ngữ được thừa nhận theo trạng thái cuối bởi ODX M là: L(M)={w *| Z0q0w=>*M p, Γ*, p F} Ngôn ngữ được thừa nhận theo stack rỗng bởi ODX M là: N(M)={w *| Z0q0w=>*M p, p Q} ... Sự tương đương giữa các loại ơ tơ mát đẩy xuống Mối quan hệ giữa ơ tơ mát đẩy xuống và văn phạm phi? ?ngữ? ?cảnh Ngơn? ?ngữ? ?phi? ?ngữ? ?cảnh Ơ tơ mát đẩy xuống (ODX) Mơ tả trực quan: Ơ tơ mát đẩy xuống Cấu tạo: ... Q : tập các trạng thái kết thúc Ơ tơ mát đẩy xuống Ta gọi? ?hình? ?trạng của ơ tơ mát đẩy xuống là mọi xâu có dạng qw trong đó Γ*, q Q, w * Hình? ?trạng có dạng Z0q0x được gọi là? ?hình? ?trạng ban đầu Hệ viết lại ngầm định trong M là W=(V, P):... p là một quy tắc trong P Ơ tơ mát đẩy xuống Ngơn? ?ngữ? ?được thừa nhận theo trạng thái cuối bởi ODX M là: L(M)={w *| Z0q0w=>*M p, Γ*, p F} Ngôn? ?ngữ? ?được thừa nhận theo stack rỗng bởi ODX M là: