Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
1
/ 13 trang
THÔNG TIN TÀI LIỆU
Thông tin cơ bản
Định dạng
Số trang
13
Dung lượng
0,9 MB
Nội dung
[...]...Slide 4. 8: Các Term Các term được xác định như sau: Mọi biến là term Mọi hằng trong C là term Nếu t1, t2,…,tn là các term và f∈F là một hàm n ngôi, thì f(t1,t2, ,tn) là một term Không gì nữa là một term Trong dạng biểu diễn Backus-Naur ta có thể viết: t :: = x|c|f(t,t,…t) với x là biến, c∈C, f∈F là hàm n ngôi 76 Slide 4. 9: Cây cú pháp: 77 Trang 4.1 0: Những công thức: Những công thức... với x là biến, c∈C, f∈F là hàm n ngôi 76 Slide 4. 9: Cây cú pháp: 77 Trang 4.1 0: Những công thức: Những công thức trên (F,P) được xác định một cách quy nạp bằng việc sử dụng tập các term trên F như sau: Nếu P là một vị từ trong P với n ngôi (n≥1) và t1, t2,…, tn là các term trên F, thì P( t1, t2,…, tn) là một công thức Nếu Φ là một công thức, thì ( Φ) cũng vậy Nếu Φ và Ψ là các công thức, thì