Ðịnh nghĩa FIRST(x):

Giả sử x là một chuỗi các ký hiệu văn phạm, FIRST(x) là tập hợp các ký hiệu kết thúc mà nó bắt đầu một chuỗi dẫn xuất từ x.

Nếu X là kí hiệu chưa kết thúc thì FIRST(X) là {X}

Giả sử x là một chuỗi các ký hiệu văn phạm, FIRST(x) là tập hợp các ký hiệu không kết thúc mà nó bắt đầu một chuỗi dẫn xuất từ x.

Nếu X là kí hiệu kết thúc thì FIRST(X) là {X}