. 98 TỔNG QUAN VỀ BIÊN DỊCH
108 PHẦN TÍCH TỪ VỰNG
Thí dụ 3.5, Các số khơng dấu trong Pascal là những chuỗi như 5280, 39.37, 6.336E4 hoặc 1. 9848-4. Định nghĩa chính qui sau đây đưa ra một đặc tá chính xác cho lớp các
chuỗi này:
digit —> |9
digis ->
optional_fraction -~> digits | e
optional exponent + (E (+ |- | ) đigits ) |£
num >> digits optional fraction optional exponent
Định nghĩa này nĩi rằng một optional fraetion gồm một chấm thập phân cĩ
một hoặc nhiều ký số theo sau hoặc nĩ bị thiếu (chuỗi rỗng) Một optional exponent, nếu cĩ, là một E và sau đĩ là một dấu + hoặc - (tùy chọn) rồi sau
đĩ cĩ thể là một hoặc nhiều ký số. Chú ý rằng ít nhất phải cĩ một ký số sau dấu
chấm, vì thế num khơng đối sánh được với 1 nhưng đối sánh được với 1.0, H
Ký pháp viết tắt
Một số kết quả xuất hiện khá thường xuyên trong các biếu thức chính qui, do vậy để
cho thuận tiện chúng ta đưa ra một số qui ước viết tắt cho chúng.
1. Một hoặc nhiều thể hiện. Tốn tử hậu vị đơn ngơi ” cĩ nghĩa là “một hoặc nhiều thể hiện của”. Nếu r là một biểu thức chính qui biểu thị cho ngơn ngữ () thì ứ)Ÿ
là một biểu thức chính qui biểu thị cho ngơn ngữ (LŒ))”. Vì thế biểu thức chính qui
a” biểu thị tập tất cả các chuỗi cĩ một hoặc nhiều a. Tốn tử Ý cĩ cùng thứ bậc và
tính kết hợp như tốn tử *. Hai đồng nhất thức đại số r* = rỶ | s và r† = rr* được
gọi tương ứng là các tốn tử bao đĩng Kleene và bao đĩng dương.
2. Zero hoặc một thể hiện. Tốn tử hậu vị đơn ngơi ? cĩ nghĩa là “zero hoặc một thể
hiện của." Ký pháp r? là dạng tắt của r j s. Nếu r là một biểu thức chính qui thì
(r}? là một biểu thức biểu thị cho ngơn ngữ LƯ) ©2 t£¡. Thí dụ, sử dụng các tốn tử * và ?, chúng ta cĩ thể viết lại định nghĩa chính qui cho num trong Thí dụ 3.5 là
digt + 0 |1|... |9 digis —> digit”
optional fraction -› (. digits )?
optional exponent —> ( E ( + | — }? digits)?
num => đigits optional fraction optional_exponent
3. Lớp ký tự (character class). Ký pháp [abe] trong đĩ a, b và e là các ký hiệu trong
bộ chữ cái biểu thị cho biểu thức chính qui a | b | e. Một lớp ký tự được viết tắt như [a-z] biểu thị cho biểu thức chính qui a | b |... | z. Sử dụng các lớp ký tự, chúng ta cĩ thể mơ tả các định danh như các chuỗi được tạo ra bởi biếu thức