Bài giảng Chương trình dịch: Bài 11 - Trương Xuân Nam

 Trạng thái của automat: tập hợp các bộ quan sát, một bộ quan sát thực chất là một biến ghi nhận quá trình diễn tiến của việc phân tích văn phạm trong một tình huống cụ thể nào đó. [r]

CHƯƠNG TRÌNH DỊCH

Nội dung

1 Giới thiệu

2 Ý tưởng Mã minh họa Ví dụ

5 Đánh giá thuật toán Bài tập

Giới thiệu

Tác giả Jay Earley

Được giới thiệu năm 1968

Jay Earley (nhà khoa học máy

tính tâm lý học, người Mỹ)  Cơng trình phân tích văn

phạm đánh giá 25 báo xuất sắc tạp chí “Communications of the A.C.M” trong 1/4 kỷ

 Earley tiếng ngành tâm lý học lâm sàng, chuyên trị liệu nhóm, tác giả Pattern System

Ý tưởng bản

Ý tưởng: automat tiến thẳng

Thuật toán Earley cụ thể hóa automat tuyến tính khơng quay lui (đi từ trái qua phải)

 Trạng thái automat: tập hợp quan sát, quan sát thực chất biến ghi nhận trình diễn tiến việc phân tích văn phạm tình cụ thể

 Khi nhận kí hiệu đầu vào, automat thực việc cập

nhật quan sát để xác định xem q trình phân tích đến đâu

 Kết bước cuối cho biết automat đoán nhận

Ý tưởng: quan sát

 Xét chuỗi vào w = w1w2…wn

 Thuật toán sử dụng automat xử lý từ trái sang phải (từ w1 sang đến wn)

 Thuật toán sử dụng dấu chấm để ngăn phần luật sinh trình áp dụng luật

 Nói cách khác, viết Aα • β, ta hiểu phần α phân tích xong, cịn phần β chưa

Ý tưởng: tập quan sát

 Khi automat xét đến kí hiệu wm, có nhiều phương án phân tích khác nhau, tất phương án lưu lại để sử dụng bước tính tốn

 Tập hợp S(m): tập quan sát dừng vị trí m  Như vậy, [Aα • β, i] thuộc S(m) có nghĩa dãy

wiwi+1…wm đốn nhận phần α luật sinh Aα • β

 Thuật toán cần phải sinh thành phần S(m) trước chuyển sang kí hiệu wm+1

Ý tưởng: q trình tính tốn

 Thuật tốn tính S(0), S(1),…, S(n)

 Để dễ dàng thực thuật toán, thuật toán bổ sung luật PS vào tập luật (gọi start rule) bổ sung [P• S, 0] vào S(0)

 Khi nhận kí hiệu wm, automat bổ sung vào S(m) quan sát phù hợp, trình tính S(m) dừng khơng cịn quan sát thêm vào

Ý tưởng: lệnh bản

1. Prediction (dự đoán): với [Xα • Y β, j]

thuộc S(k), ta tìm luật sinh dạng Yγ bổ sung [Y• γ, k] vào S(k)

2. Scanning (xét duyệt): với kí hiệu kết thúc a = wk, tìm [Xα • a β, j] thuộc S(k), bổ sung vào S(k+1) [Xα a • β, j]

3. Completion (hồn thành): với [Xγ •, j]

thuộc S(k), tìm S(j) [Yα • X β, i], bổ sung [Yα X • β, i] vào S(k)