Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
NHẬN DẠNG TOKEN Trong suốt phần này, chúng ta sẽ dùng ngôn ngữ được tạo ra bởi văn phạm dưới đây làm thí dụ minh họa : stmt if expr then stmt | if expr then stmt else stmt |ε expr term term relop term | term id | num Trong đó các ký hiệu kết thúc if, then, else, relop, id, num được cho bởi định nghĩa chính quy sau: if then else relop id num delim ws if then else | | = letter (letter | digit) * digit + ( . digit +) ?. | IV. NHẬN DẠNG TOKEN Trong suốt phần này chúng ta sẽ dùng ngôn ngữ được tạo ra bởi văn phạm dưới đây làm thí dụ minh họa stmt if expr then stmt I if expr then stmt else stmt I e expr term relop term term term id I num Trong đó các ký hiệu kết thúc if then else relop id num được cho bởi định nghĩa chính quy sau if if then then else else relop 1 1 1 1 1 id letter letter digit num digit . digit E - digit Định nghĩa chính quy của các khoảng trắng ws white space delim blank I tab I newline ws delim Mục đích của chúng ta là xây dựng một bộ phân tích từ vựng có thể định vị được từ tố cho các token kế tiếp trong vùng đệm và tạo ra output là một cặp token thích hợp và giá trị thuộc tính của nó bằng cách dùng mẫu biểu thức chính quy cho các token như sau Biểu thức chính quy Token Trị thuộc tính ws - - if if - then then - 56 else else - id id con trỏ trong bảng ký hiệu num num giá trị số relop LT Less Than relop LE Less Or Equal relop EQ Equal relop NE Not Equal relop GT Greater Than relop GE Greater Or Equal Hình 3.6 - Mầu biểu thức chính quy cho một số token 1. Sơ đồ dịch Để dễ dàng nhận dạng token chúng ta xây dựng cho mỗi token một sơ đồ dịch translation diagram . Sơ đồ dịch bao gồm các trạng thái state ký hiệu bởi vòng tròn và các cạnh mũi tên nối các trạng thái. Nói chung thường có nhiều sơ đồ dịch mỗi sơ đồ đặc tả một nhóm token. Nếu xảy ra thất bại khi chúng ta đang đi theo một sơ đồ dịch thì chúng ta dịch lui con trỏ tới về nơi nó đã ở trong trạng thái khởi đầu của sơ đồ này rồi kích họat sơ đồ dịch tiếp theo. Do con trỏ đầu trị từ vựng và con trỏ tới cùng chỉ đến một vị trí trong trạng thái khởi đầu của sơ đồ con trỏ tới sẽ được dịch lui lại để chỉ đến vị trí được con trỏ đầu trị từ vựng chỉ tới. Nếu xảy ra thất bại trong tất cả mọi sơ đồ dịch thì xem như một lỗi từ vựng đã được phát hiện và chúng ta sẽ khởi động một thủ tục khắc phục lỗi. Phần dưới đây trình bày một số sơ đồ dịch nhận dạng các token trong văn phạm ví dụ trên. Sơ đồ dịch nhận dạng cho token relop .
