IT4073:NGÔN NG và Ữ
PH NG PHÁP D CHƯƠ Ị
Ph m Đăng H iạ ả
haipd@soict.hut.edu.vn
2
05/29/13
Ch ng 4: Phân tích ng nghĩaươ ữ
1. Gi i thi uớ ệ
2. B ng ký hi uả ệ
3. Ch ng trình d ch đ nh h ng cú phápươ ị ị ướ
4. Ki m tra ki uể ể
5. X lý sai sótử
3
05/29/13
Ví d 1ụ
Cho văn ph m G = (VạT, VN, P, S)
P: { <Câu> → <Ch ng > <V ng >ủ ữ ị ữ
<Ch ng > ủ ữ → <Danh ng >|<Danh t >ữ ừ
<Ch ng > ủ ữ → <Danh ng >|<Danh t >ữ ừ
<Danh ng >ữ→ <Danh t > <Tính t >ừ ừ
<V ng >ị ữ →<Đ ng t >|<Đ ng t ><B ng >ộ ừ ộ ừ ổ ữ
<B ng > ổ ữ → <Danh ng >ữ
<Danh t > ừ→ « Bò »| « C »|ỏ
<Tính t >ừ →« Vàng »| « Non »
<Đ ng t > ộ ừ → « g m» }ặ
1. Gi i thi uớ ệ
4
05/29/13
Ví d 1ụ
L(G) =
« Bò vàng g m c non »ặ ỏ
« Bò vàng g m c vàng »ặ ỏ
« Bò non g m c non »ặ ỏ
« Bò vàng g m bò non »ặ
« C non g m bò vàng »ỏ ặ
…..
1. Gi i thi uớ ệ
Các câu đ u ề
đúng ng pháp, ữ
nh ng không ư
ph i câu nào ả
cũng đúng ng ữ
nghĩa (có ý
nghĩa)
5
05/29/13
S d ng sai ý nghĩa ban đ u (H ng s )ử ụ ầ ằ ố
Hoàn toàn đúng cú pháp c a KPLủ
Ví d 2ụ
Program Toto;
Const N = 0;
Begin
N :=10;
End.
1. Gi i thi uớ ệ
<Statement>
⇒ <Variable> := <Expression>
⇒ <Variableidentifier>:=<Expression>
⇒ N:= <Expression>
⇒ N:=<Term>
⇒ N:=<Factor>
⇒ N:=<Unsignedconstant>
⇒ N:=<unsignedinteger>
⇒ N:=10