1. Trang chủ
  2. » Tất cả

Bài giảng ngôn ngữ hình thức chương 4 nguyễn thị hồng

10 1 0

Đang tải... (xem toàn văn)

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Định dạng
Số trang 10
Dung lượng 511,08 KB

Nội dung

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à:

Ngày đăng: 24/02/2023, 09:43