Bài giảng Xây dựng chương trình dịch - Bài 8: Văn phạm LL(k) - Nguyễn Thị Thu Hương

Ngôn ngữ LL(k)

„ Xem trước k ký hiệu trên xâu vào để quyết định sản xuất được sử dụng

„ Được sinh ra nhờ văn phạm LL(k)

FIRSTk(α)

Định nghĩa : Cho văn phạm G phi ngữ cảnh, số nguyên dương k , a là một xâu bao gồm ký

hiệu kết thúc và không kết thúc FIRSTk(α) là tập các xâu x gồm k ký hiệu kết

thúc trái nhất của các xâu suy dẫn từ α (Kể cả trường hợp x không có đủ k ký hiệu nhưng α

suy dẫn ra x , không còn ký hiệu nào sau x)