ctdich

Giáo trình Kiến trúc máy tính và Hệ điều hành 1 CHƯƠNG TRÌNH DỊCH... NHẬP MÔN CHƯƠNG TRÌNH DỊCH TRƯỜNG ĐẠI HỌC BÁCH KHOA ĐÀ NẴNG 1.. NHẬP MÔN CHƯƠNG TRÌNH DỊCH TRƯỜNG ĐẠI HỌC BÁCH KHOA Đ

Trang 1

Giáo trình Kiến trúc máy tính và

Hệ điều hành

1

CHƯƠNG TRÌNH DỊCH

Trang 2

Trang 3

Hệ điều hành

3

Nội dung giáo trình

CHƯƠNG 1 NHẬP MÔN CHƯƠNG TRÌNH DỊCH

CHƯƠNG 2 PHÂN TÍCH TỪ VỰNG

CHƯƠNG 3 CÁC VẤN ĐỀ CƠ BẢN VỀ PHÂN TÍCH CÚ PHÁP CHƯƠNG 4 CÁC PHƯƠNG PHÁP PHÂN TÍCH CÚ PHÁP

Trang 4

Hệ điều hành

4

TRƯỜNG ĐẠI HỌC BÁCH KHOA ĐÀ NẴNG

1 Các khái niệm cơ bản

2 Đặc trưng của ngôn ngữ lập trình (NNLT) bậc cao

3 Các qui tắc từ vựng và cú pháp

4 Các chức năng của một trình biên dịch

Chương 2

Trang 5

Hệ điều hành

5

1.1 Sự phát triển của ngôn ngữ lập trình

1.2 Khái niệm chương trình dịch

1.3 Phân loại chương trình dịch

1.4 Các ứng dụng khác của kỹ thuật dịch

Chương 2

Trang 6

Hệ điều hành

6

1.1 Sự phát triển của ngôn ngữ lập trình

NNLT bậc cao (Higher _level language)

Trang 7

Hệ điều hành

7

1.2 Khái niệm chương trình dịch

Chương trình dịch là chương trình dùng để dịch một chương trình (CT nguồn) viết trên NNLT nào đó (NN nguồn) sang một chương trình tương đương (CT đích) trên một NN khác (NN đích)

Chương 2

Trang 8

Hệ điều hành

8

CT nguồn Trình biên

dịch CT đích

Máy tính thực thi Kết quả

Thời gian dịch

Dữ liệu

Thời gian thực thi

Trang 9

Hệ điều hành

9

CT nguồn Trình thông dịch Kết quả

Dữ liệu

Trang 10

Hệ điều hành

10

1.4 Các ứng dụng khác của kỹ thuật dịch

- Trong các hệ thống: phần giao tiếp giữa

người và máy thông qua các câu lệnh.

- Hệ thống xử lý NN tự nhiên: dịch thuật, tóm

tắt văn bản.

Chương 2

Trang 11

Trang 12

Hệ điều hành

12

3.1 Bản chữ cái

- Gồm những ký hiệu được phép sử dụng để viết

chương trình

- Số lượng, ý nghĩa sử dụng của các ký tự trong bản

chữ cái của các NN là khác nhau.

- Nhìn chung bản chữ cái của các NNLT:

+ 52 chữ cái: A Z, az

+ 10 chữ số: 0 9

+ Các ký hiệu khác:*, /, +, -, …

Trang 13

- Từ tố được xây dựng từ bản chữ cái

- Ví dụ: hằng, biến, từ khoá, các phép toán,…

Trang 14

Hệ điều hành

14

3.3 Phạm trù cú pháp

- Phạm trù cú pháp là một dãy từ tố kết hợp

theo một qui luật nào đó

- Các cách biểu diễn cú pháp thông thường

+ BNF(Backus Naus Form):

<lệnhgán>::=<tên biến>:=<biểu thức>

Trang 15

- Mục tiêu của phạm trù cú pháp là việc định

nghĩa được khái niệm chương trình đến mức

độ tự có

Trang 16

Hệ điều hành

16

3.4 Các qui tắc từ vựng thông dụng

tab(‘\t’), dấu sang dòng(‘\n’)

- Đối với liên kết tự do, có thể sử dụng nhiều

khoảng trống thay vì một khoảng trống

Trang 17

phép toán, tên biến và các phép toán

Ví dụ: x:=x+3*3;

Trang 18

Hệ điều hành

18

- Xử lý lỗi

Trang 19

Trang 20

Hệ điều hành

20

4.2 Phân tích cú pháp

qui tắc nào đó.

- Phân tích xem các Token có tuân theo qui tắc

cú pháp của ngôn ngữ không

Trang 21

Trang 22

Hệ điều hành

22

4.4 Xử lý lỗi

- CT nguồn vẫn có thể xảy ra lỗi

- Phần xử lý lỗi sẽ thông báo lỗi cho NSD

Trang 23

• Lỗi từ vựng (trong Pascal sử dụng biến mà

chưa khai báo)

• Lỗi cú pháp ((a+5; lỗi thiếu dấu ‘)’ )

• Lỗi ngữ nghĩa (x=3.5; nhưng khai báo int x)

• Lỗi thực hiện (phép chia 0)

Trang 24

Hệ điều hành

24

4.5 sinh mã trung gian

nguồn có 2 đặc điểm:

Trang 25

Hệ điều hành

25

4.6 Tối ưu mã trung gian

- Bỏ bớt các lệnh thừa.

- Cải tiến lại mã trung gian để khi sinh mã đối

tượng thì thời gian thực thi mã đối tượng sẽ ngắn hơn

Trang 26

Hệ điều hành

26

4.7 Sinh mã đối tượng

- Giai đoạn cuối của trình biên dịch.

một ngôn ngữ khác ngôn ngữ nguồn.

 Các pha (giai đoạn) có thể thực hiện song hành

 Một vài pha có thể ghép lại thành lượt (chuyến)

trung gian của CT nguồn, sau đó ghi kết quả để lượt sau đọc và xử lý tiếp.

Trang 27

Bộ PTCP n1 id1 := n2

* n3

id2

Num4 id3

+

Bộ PTNN n1 id1 := n2

* n3

id2

Intoreal(6) id3

+

Bộ sinh mã trung gian

Temp1:=intoreal(6) Temp2:=id2+id3 Temp3:=temp2*temp1 Id1:=temp3

Bộ tối ưu sinh mã trung gian

Temp1:=id2+id3 Id1:=temp1*6.0

Bộ sinh mã đối tượng

MovF id2, R1 MovF id3, R2 Add R2, R1 Mult #6.0, R1 MovF R1, id1

Trang 28

Trang 29

• Sử dụng một lượt cho việc phân tích từ

vựng  dãy các token phân tích cú pháp.

với phân tích cú pháp Một lần chỉ phát hiện 1 token gọi là từ tố tiếp đến

Trang 30

thành token đến khi gặp ký tự không thể kết hợp thành token.

- Loại bỏ các ký tự trống và chú thích.

(văn bản, mã phân loại) vừa phát hiện cho

bộ phân tích cú pháp.

- Phát hiện lỗi.

Trang 31

từ vựng

Gửi token Bộ

phân tích

cú pháp Yêu cầu token

Bảng danh biểu

Trang 32

Hệ điều hành

32

3.1 Định nghĩa: M(Σ, Q, δ, q0, F)

Σ: bộ chữ vào Q: tập hữu hạn các trạng thái q0  Q: trạng thái đầu

Trang 33

Hệ điều hành

33

3.2 Biểu diễn các hàm chuyển trạng thái

- Chỉ số hàng: trạng thái

- Chỉ số cột: ký hiệu vào

- Giá trị tại hàng q, cột a là trạng thái p,

sao cho δ(q,a)=p

Trang 34

Hệ điều hành

34

Trang 35

Hệ điều hành

35

tròn.

- Trạng thái bắt đầu q0 có thêm dấu ‘>’ ở đầu.

tròn kép.

- Các cung nối từ trạng thái q sang trạng thái p

có mang các nhãn aΣ, có nghĩa δ(q,a)=p

Trang 36

Hệ điều hành

36

Trang 37

Hệ điều hành

37

vẽ có ưu điểm hơn Trong hình vẽ ta xác định đầy đủ tất cả các thành phần của Otomat.

trạng thái, tập các trạng thái, bộ chữ vào

nhưng không phân biệt được trạng thái bắt đầu và trạng thái kết thúc.

Trang 38

Hệ điều hành

38

3.3 Hoạt động của Otomat

- Đọc các ký hiệu của xâu vào từ trái sang phải,

bắt đầu từ trạng thái q0.

trạng thái theo δ Có thể đọc xong hay không đọc xong xâu vào.

Trang 39

Hệ điều hành

39

3.3 Hoạt động của Otomat

thì xâu vào được đoán nhận (xâu đúng).

thì xâu vào không được đoán nhận.

không xác định) thì xâu vào không được

đoán nhận.

Trang 40

Hệ điều hành

40

Trang 41

Trang 42

Trang 43

Trang 44

12

14 khác *

1 5

+ 1

6

=

1 8

+

khác

1 7

1 9

*

2 0

=

2 2

khác

2 1

2 3

* -

ss không bằng gán

cộng bằng tăng 1 cộng trừ bằng giảm 1 trừ

nhân bằng nhân chia bằng

chia chia lấy dư

Ss bằng

Trang 45

Hệ điều hành

45

const int ERROR_STATE=100;

typedef int state;// kieu cac trang thai

typedef unsigned char *attri;// kieu cua thuoc tinh

typedef unsigned char *token; //kieu cua tu to

unsigned char *x;//xau vao x

unsigned int i=0;// vi tri cua ky tu doc trong xau x

unsigned char readchar(unsigned char *x, unsigned int i){

//tra ve ky tu tiep theo if(i<strlen(x)) return (*(x+i));

else return ('\0'); }

Trang 46

case 4: strcpy(ch,"so sanh lon hon"); break;

case 6: strcpy(ch,"so sanh nho hon bang");break;

case 7: strcpy(ch,"dich trai"); break;

case 8: strcpy(ch,"so sanh nho hon"); break;

Trang 47

case 13: strcpy(ch,"so sanh bang"); break;

case 14: strcpy(ch,"gan"); break;

case 17: strcpy(ch,"cong bang"); break;

case 18: strcpy(ch,"tang 1"); break;

case 19: strcpy(ch,"cong"); break;

case 21: strcpy(ch,"tru bang"); break;

case 22: strcpy(ch,"giam 1"); break;

case 23: strcpy(ch,"tru"); break;

Trang 48

case 25: strcpy(ch,"nhan bang"); break;

case 26: strcpy(ch,"nhan"); break;

case 28: strcpy(ch,"chia bang"); break;

case 29: strcpy(ch,"chia"); break;

case 30: strcpy(ch,"chia lay du"); break;

default: strcpy(ch,"token ko duoc doan nhan(tt

ko dung \0");

} return ch;

}

Trang 49

Trang 50

Trang 51

Trang 52

Trang 53

}

Trang 54

void catchar_in_token (unsigned char c, token tk){

// ghep them ky tu c vao cho tu to tk

unsigned char *tam;

Trang 55

Hệ điều hành

55

token search_token (unsigned int *i, attri tt){

// tra ve tri tu vung cua tu to bdau tu vi tri i, thuoc tinh tra ve cho tt

Trang 56

Trang 57

Trang 58

Trang 59

Trang 60

Trang 61

Trang 62

else if (nostar_end_state(s)) {

catchar_in_token(c,tk);

*i=*i+1; stop=1;

strcpy(tt,attribute(s));}

Trang 63

}

Trang 64

void save_token_and_attribute(token tk,attri a){

//luu tru tk,a vao danh sach

Trang 65

Trang 66

4.2 Phương pháp điều khiển bằng bảng

- Otomat phải chung một trạng thái bắt đầu

- Tạo bảng table biểu diễn hàm chuyển trạng thái

• Chỉ số hàng: trạng thái q Q

• Chỉ số cột: ký hiệu vào a 

• Table[q][a]=p với p Q và (q,a)=p

Trang 67

12

14 khác *

0 + 1

6

=

1 8

+

khác

1 7

1 9

*

2 0

=

2 2

khác

2 1

2 3

* -

ss không bằng gán

cộng bằng tăng 1 cộng trừ bằng giảm 1 trừ

nhân bằng nhân chia bằng chia chia lấy dư

Trang 68

4.1 Phương pháp điều khiển bằng bảng

Trạng thái 100:Ko có hàm chuyển trạng thái

> = < !

2 100 100 100 100

Trang 69

Hệ điều hành

69

4 int table[][MAX]; Lập bộ phân tích từ vựng

token search_token (unsigned int *i, attri tt){

// tra ve tri tu vung cua tu to bdau tu vi tri i, thuoc tinh tra ve cho tt

token tk; unsigned char c;

Trang 70

Trang 71

Trang 72

void create_table(int table[][MAX]){

// tao bang chuyen trang thai table

Trang 73

Hệ điều hành

73

Gồm các token và các thuộc tính của token

Chỉ số Token Trị từ vựng Các thuộc tính khác 01

Trang 74

Hệ điều hành

74

- Tổ chức tuần tự: mảng, danh sách liên kết,

danh sách móc nối

Trang 75

Trang 76

Trang 77

- Độ dài xâu là số các ký hiệu trong xâu

Ký hiệu: độ dài xâu x là |x|

Trang 78

Trang 79

Hệ điều hành

79

1 Một số vấn đề về ngôn ngữ

• Ghép tiếp: cho 2 xâu x,y Ghép tiếp của x, y

là x.y hay xy là 1 xâu viết x trước, rồi đến y sau chứ không có dấu cách.

y=0110 xy=010110

Trang 80

• Đảo ngược xâu x (x r ): xâu được viết theo thứ

tự ngược lại của xâu x

Trang 81

• Vì ngôn ngữ là tập hợp nên có các phép toán

tập hợp: (giao), (hợp), -(hiệu, bù)

Trang 82

x.x=x 2 ; x.x.x=x 3 ; x 0 =; x i =x i-1 x

L 0 ={}; L i =L i-1 L

- L*=L 0L 1L 2…; L + =L 1L 2…

Trang 83

Hệ điều hành

83

1 Một số vấn đề về ngôn ngữ

1.3 Biểu diễn ngôn ngữ

- Phương pháp liệt kê: ngôn ngữ có số xâu là

hữu hạn và có thể xác định được.

Ví dụ: ngôn ngữ là các số tự nhiên nhỏ hơn

20 và lớn hơn 12

L={13, 14, 15, 16, 17, 18, 19}

Trang 84

1.3 Biểu diễn ngôn ngữ

Trang 85

Trang 86

Trang 87

Hệ điều hành

87

2 Văn phạm phi ngữ cảnh

- Ký hiệu chưa kết thúc được viết bằng chữ in

- Ký hiệu chưa kết thúc nằm bên trái của sản

xuất đầu tiên là ký hiệu bắt đầu.

Trang 88

  gọi là xâu khi   Σ*

  gọi là dạng câu khi (ΣΔ) *

Trang 89

xuất sinh ra được 

- Quan hệ suy dẫn trực tiếp: từ A áp dụng một

sản xuất sinh được 

Trang 90

nhiều sản xuất mới sinh được 

Ký hiệu: A  +  với AΔ và (ΣΔ)*

- Độ dài suy dẫn: số lần áp dụng các sản xuất

- Độ dài của suy dẫn trực tiếp bằng 1

Trang 91

- Nếu luôn luôn thay thế ký hiệu chưa kết thúc

ở bên trái nhất gọi là suy dẫn trái Tương tự

ta có suy dẫn phải

Trang 92

 Cây suy dẫn: cây thoả mãn các điều kiện:

- Mỗi nút có 1 nhãn: ký hiệu kết thúc hoặc

chưa kết thúc

- Nhãn của nút lá: ký hiệu kết thúc

- Nếu một nút có nhãn A có các nút con của nó

từ trái sang phải có nhãn x1, x2, x3, …xn thì Ax1x2x3…xn  p

Trang 93

- Suy dẫn trái tạo cây suy dẫn trái.

- Suy dẫn phải tạo cây suy dẫn phải.

EE+E | E*E | (E) | a

Vẽ cây suy dẫn trái, phải sinh xâu: a+a*a

(1) (2) (3) (4)

Trang 94

Văn phạm G=(Σ, Δ, s, p) sản sinh ra ngôn ngữ L(G)={wΣ * } Ta nói G là văn phạm

đơn nghĩa (không nhập nhằng) nếu với mỗi xâu wL(G) chỉ có một cây suy dẫn duy

nhất, trái lại thì G là văn phạm nhập nhằng.

Trang 95

Hệ điều hành

95

2 Văn phạm phi ngữ cảnh

2.3 Các khái niệm

Văn phạm G1 và G2 được gọi là tương đương  bất kỳ xâu x được sinh ra từ G1 thì G2 cũng sinh ra được và ngược lại

Trang 96

Cho văn phạm PNC G, với A Δ mà

A +A thì A gọi là ký hiệu đệ qui, G gọi

là văn phạm đệ qui Với ,   (ΣΔ)*

Trang 97

Trang 98

Trang 99

Trang 100

Trang 101

-Giáo trình Kiến trúc máy tính và

Trang 102

-Giáo trình Kiến trúc máy tính và

Hệ điều hành

102

CHƯƠNG 3 CÁC VẤN ĐỀ CƠ BẢN VỀ

PHÂN TÍCH CÚ PHÁP

3 Đại cương về phân tích cú pháp

3.1 Mục đích

Cho G=(Σ, Δ, s, p)

Một xâu vào xΣ*

x có viết đúng cú pháp của văn phạm G?

Định dạng
Số trang	268
Dung lượng	2,02 MB

ctdich

Phương pháp ưu tiên toán tử

Phương pháp Simple LR (SLR)