Cho văn phạm với các luật sinh sau: E->TE; E’->+T E’; E’->epsilon; T->FT'; T'- >*FT’; T’->epsilon; F->(E); F->id; FIRST(E') =?

Để tìm FIRST(T'), ta xét các luật sinh của T':

• T' -> *FT'
• T' -> epsilon

Theo định nghĩa, FIRST(T') là tập hợp các terminal có thể xuất hiện đầu tiên trong chuỗi dẫn xuất từ T'. Vì T' có thể sinh ra *FT', nên '*' thuộc FIRST(T'). Vì T' có thể sinh ra epsilon (ε), nên epsilon cũng thuộc FIRST(T').

Vậy, FIRST(T') = {*, epsilon}.

Ngôn ngữ máy tính (Machine language) là ngôn ngữ bậc thấp nhất, sử dụng mã nhị phân (0 và 1) để biểu diễn các lệnh và dữ liệu. Mã giả (pseudocode) là một cách mô tả thuật toán hoặc chương trình bằng ngôn ngữ tự nhiên hoặc một dạng ký hiệu gần gũi với ngôn ngữ lập trình, nhưng không nhất thiết phải tuân theo cú pháp chặt chẽ của một ngôn ngữ cụ thể nào. Trong quá trình phát triển phần mềm, mã máy thường được "dịch" hoặc biểu diễn lại một cách trừu tượng hơn bằng mã giả để dễ hiểu, thiết kế và trao đổi ý tưởng trước khi triển khai bằng một ngôn ngữ lập trình cụ thể. Vì vậy, ngôn ngữ máy tính không "dịch" thành mã giả bằng ngôn ngữ Assembly, Pascal hay FORTRAN. Các ngôn ngữ Assembly, Pascal, FORTRAN là các ngôn ngữ lập trình bậc cao hơn, có thể được biên dịch hoặc thông dịch thành mã máy, chứ không phải ngược lại.

Trị từ vựng (lexeme) là một khái niệm trong ngôn ngữ lập trình, dùng để chỉ một chuỗi các ký tự tạo thành một đơn vị từ vựng có nghĩa. Các đơn vị này bao gồm:

• Định danh (Identifiers): Là tên do lập trình viên đặt cho các biến, hàm, lớp, ...


• Hằng số (Constants): Là các giá trị không đổi trong quá trình thực thi chương trình, ví dụ: 10, 3.14, "Hello".


• Từ khóa (Keywords): Là các từ đặc biệt đã được định nghĩa sẵn trong ngôn ngữ lập trình, ví dụ: if, else, while, for, int, float, ...

Vì vậy, trị từ vựng bao gồm cả ba loại trên.