Điểm quá trình môn Chương Trình Dịch (K53TH-II)

02/06/2015 điểm quá trình Chưa có bình luận

Xin chào các bạn,

Dưới đây là điểm quá trình của khóa học Chương Trình Dịch mở cho học kỳ song song (K53TH-II).

Kết quả này dựa trên tổng hợp của:

Làm bài kiểm tra trên lớp
Chữa bài tập trên lớp
Nộp bài tập thực hành (qua email hoặc qua bài làm trên giấy)
Điểm danh

TT	Mã số SV	Lớp	Họ và tên	Điểm QT
1	1151060004	53TH2	Trần Phương Anh	9
2	1051069950	52TH1	Bùi Nguyên Ba	7.5
3	1151060005	53TH2	Nguyễn Văn Bình	7
4	1151060010	53TH2	Nguyễn Phương Anh Hùng Cường	9
5	1151061485	53TH1	Trương Ngọc Đức	8
6	1051060313	53TH1	Vũ Trung Đức	5
7	1151061487	53TH1	Nguyễn Thị Hà	8
8	1151060022	53TH2	Nguyễn Văn Hải	7.5
9	1151061488	53TH1	Nguyễn Thị Hạnh	9
10	1151061497	53TH1	Vũ Phan Nguyên Khánh	8.5
11	1151061500	53TH1	Nguyễn Thị Lan	9
12	1151061502	53TH1	Phạm Thị Loan	9
13	1151060046	53TH2	Trần Thị Ngát	8
14	1151061510	53TH1	Cao Hồng Nhung	8
15	1151061511	53TH1	Trần Văn Ninh	7
17	1151060055	53TH2	Triệu Nhật Thành	7.5
18	09510601420	52TH1	Nguyễn Văn Thắng	6
19	1151061520	53TH1	Nguyễn Thị Kim Thoa	9
20	1151061523	53TH1	Vũ Văn Thức	7.5
21	1151060060	53TH2	Nguyễn Trung Tiến	9
22	1151061527	53TH1	Nguyễn Văn Tiến	9
23	1151061529	53TH1	Nguyễn Duy Tiệp	10
24	1151060063	53TH2	Nguyễn Thị Trang	9
25	1051061941	52TH2	Phạm An Tùng	7
26	1151061538	53TH1	Nguyễn Thị Tuyết	7
27	1151061539	53TH1	Vũ Thị Tuyết	8
28	1151060068	53TH2	Trần Thị Yến	8

Giảng viên, Trương Xuân Nam

Đọc tiếp...

Bài 16: Thuật toán phân tích LL(1)

22/05/2015 lý thuyết Chưa có bình luận

Chủ đề: Thuật toán phân tích LL(1)

Nội dung chính:

Bộ phân tích cú pháp tất định
Tiếp cận top-down
Phân tích LL(1)
- FIRST
- FOLLOW
- Bảng phân tích LL(1)
- Ví dụ
Bài tập

Đọc tiếp...

Bài 14: Thuật toán phân tích Earley

12/05/2015 lý thuyết Chưa có bình luận

Chủ đề: Thuật toán phân tích Earley

Nội dung chính:

Giới thiệu
Ý tưởng cơ bản
Mã minh họa
Ví dụ
Đánh giá thuật toán
Bài tập

Đọc tiếp...

Mã nguồn: thuật toán CYK bằng C#

07/05/2015 mã nguồn Chưa có bình luận

using System;
using System.Collections.Generic;

class Rule {
    public char left;
    public string right;
    public Rule(char l, string r) {
        left = l; right = r;
    }
    public string ToFineString() {
        string s = left + " -->";
        for (int i = 0; i < right.Length; i++)
            s += " " + right[i];
        return s;
    }
}

class PTCYK {
    public List<Rule> rules = new List<Rule>();
    string[,] table = null;
    string w = null;
    int n = 0;

    // thêm luật left --> right vào tập luật
    public void AddRule(char left, string right) {
        rules.Add(new Rule(left, right));
    }

    public void PrintAllRules() {
        Console.WriteLine("<bo luat van pham>");
        foreach (Rule r in rules)
            Console.WriteLine("  " + r.ToFineString());
        Console.WriteLine();
    }

    void InitData(string x) {
        w = x;
        n = x.Length;
        table = new string[n+1, n+1];
        for (int i = 1; i <= n; i++)
            for (int j = 1; j <= n; j++) table[i,j] = "";
    }

    void FirstProcess() {
        for (int i = 1; i <= n; i++)
            foreach (Rule r in rules)
                if (r.right.Length == 1)
                    if (w[i-1] == r.right[0]) table[i,1] += r.left;
    }

    bool IsIn(char x, string w) {
        return w.IndexOf(x) != -1;
    }
    
    bool CanGen(int j, int i, Rule r) {
        for (int k = 1; k <= j-1; k++)
            if (IsIn(r.right[0], table[i,k]))
                if (IsIn(r.right[1], table[i+k, j-k]))
                    return true;
        return false;
    }
    
    void GenTable() {
        for (int j = 2; j <= n; j++)
            for (int i = 1; i <= n-j+1; i++)
                foreach (Rule r in rules)
                    if (r.right.Length == 2)
                        if (!IsIn(r.left, table[i,j]))
                            if (CanGen(j, i, r)) table[i,j] += r.left;
    }
    
	public void Process(string x) {
        InitData(x);
        FirstProcess();
        GenTable();
	}
    
    public void PrintResult() {
        for (int i = 1; i <= n; i++) {
            for (int j = 1; j <= n; j++) Console.Write("[{0,5}]", table[j,n+1-i]);
            Console.WriteLine();
        }
    }
}
class Program {
    public static void Main() {
        PTCYK parser = new PTCYK();
        // nạp bộ luật vào bộ phân tích
        parser.AddRule('S', "AB");
        parser.AddRule('S', "XB");
        parser.AddRule('T', "AB");
        parser.AddRule('T', "XB");
        parser.AddRule('X', "AT");
        parser.AddRule('A', "a");
        parser.AddRule('B', "b");
        parser.PrintAllRules();
        // phân tích thử
        parser.Process("aaabbb");
        // in ra bảng CYK
        parser.PrintResult();
    }
}

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

51

52

53

54

55

56

57

58

59

60

61

62

63

64

65

66

67

68

69

70

71

72

73

74

75

76

77

78

79

80

81

82

83

84

85

86

87

88

89

90

91

92

93

94

95

96

97

98

99

100

101

102

using System;

using System.Collections.Generic;

class Rule {

public char left;

public string right;

public Rule(char l, string r) {

left = l; right = r;

}

public string ToFineString() {

string s = left + " -->";

for (int i = 0; i < right.Length; i++)

s += " " + right[i];

return s;

}

class PTCYK {

public List<Rule> rules = new List<Rule>();

string[,] table = null;

string w = null;

int n = 0;

// thêm luật left --> right vào tập luật

public void AddRule(char left, string right) {

rules.Add(new Rule(left, right));

}

public void PrintAllRules() {

Console.WriteLine("<bo luat van pham>");

foreach (Rule r in rules)

Console.WriteLine(" " + r.ToFineString());

Console.WriteLine();

}

void InitData(string x) {

w = x;

n = x.Length;

table = new string[n+1, n+1];

for (int i = 1; i <= n; i++)

for (int j = 1; j <= n; j++) table[i,j] = "";

}

void FirstProcess() {

for (int i = 1; i <= n; i++)

foreach (Rule r in rules)

if (r.right.Length == 1)

if (w[i-1] == r.right[0]) table[i,1] += r.left;

}

bool IsIn(char x, string w) {

return w.IndexOf(x) != -1;

}

bool CanGen(int j, int i, Rule r) {

for (int k = 1; k <= j-1; k++)

if (IsIn(r.right[0], table[i,k]))

if (IsIn(r.right[1], table[i+k, j-k]))

return true;

return false;

}

void GenTable() {

for (int j = 2; j <= n; j++)

for (int i = 1; i <= n-j+1; i++)

foreach (Rule r in rules)

if (r.right.Length == 2)

if (!IsIn(r.left, table[i,j]))

if (CanGen(j, i, r)) table[i,j] += r.left;

}

public void Process(string x) {

InitData(x);

FirstProcess();

GenTable();

}

public void PrintResult() {

for (int i = 1; i <= n; i++) {

for (int j = 1; j <= n; j++) Console.Write("[{0,5}]", table[j,n+1-i]);

Console.WriteLine();

}

class Program {

public static void Main() {

PTCYK parser = new PTCYK();

// nạp bộ luật vào bộ phân tích

parser.AddRule('S', "AB");

parser.AddRule('S', "XB");

parser.AddRule('T', "AB");

parser.AddRule('T', "XB");

parser.AddRule('X', "AT");

parser.AddRule('A', "a");

parser.AddRule('B', "b");

parser.PrintAllRules();

// phân tích thử

parser.Process("aaabbb");

// in ra bảng CYK

parser.PrintResult();

}

Đọc tiếp...

Bài 12: Thuật toán phân tích CYK

24/04/2015 lý thuyết Chưa có bình luận

Chủ đề: Thuật toán phân tích CYK

Nội dung chính:

Khắc phục hạn chế của các phương pháp thử-sai
Các phương pháp phân tích cú pháp vạn năng
Áp dụng quy hoạch động vào phân tích cú pháp
Thuật toán Cocke – Younger – Kasami (CYK)
- Dạng chuẩn Chomsky (CNF)
- Ý tưởng
- Mã minh họa
- Đánh giá thuật toán
Bài tập

Đọc tiếp...

Bài 10: Phân tích văn phạm bằng bottom-up

17/04/2015 lý thuyết Chưa có bình luận

Chủ đề: Phân tích văn phạm bằng bottom-up

Nội dung chính:

Ý tưởng & thuật toán
Ví dụ minh họa
Cài đặt bottom-up đơn giản
- Cấu trúc một luật văn phạm
- Cấu trúc một suy diễn trực tiếp
- Máy phân tích: các hàm hỗ trợ
- Máy phân tích: các hàm chính
Đánh giá về bottom-up
Bài tập

Đọc tiếp...

Mã nguồn: thuật toán phân tích top-down bằng C#

14/04/2015 mã nguồn Chưa có bình luận

using System;
using System.Collections.Generic;

class Rule {
    public char left;
    public string right;
    public Rule(char l, string r) {
        left = l; right = r;
    }
    public string ToFineString() {
        string s = left + " -->";
        for (int i = 0; i < right.Length; i++)
            s += " " + right[i];
        return s;
    }
}
class Step {
    public int ruleNumber, position;
    public Step(int r, int p) {
        ruleNumber = r; position = p;
    }
}
class PTTD {
    public List rules = new List();
    public List steps;
    string w = null;

    // thêm luật left --> right vào tập luật
    public void AddRule(char left, string right) {
        rules.Add(new Rule(left, right));
    }

    public void PrintAllRules() {
        Console.WriteLine("");
        foreach (Rule r in rules)
            Console.WriteLine("  " + r.ToFineString());
        Console.WriteLine();
    }

    public void PrintSteps2() {
        string w = "S";
        Console.Write("S");
        foreach (Step s in steps) {
            string w0 = DoStep(w, s);
            Console.Write(" => {0}", w0);
            w = w0;
        }
        Console.WriteLine();
    }
	
    string DoStep(string w, Step s) {
        string w1 = w.Substring(0, s.position);
        string w2 = w.Substring(s.position + 1);
        return w1 + rules[s.ruleNumber].right + w2;
    }

    // tìm kí hiệu không kết thúc đầu tiên trong s
    public int FindNonterminal(string s) {
        for (int i = 0; i < s.Length; i++) {
            if (i >= w.Length) return i;
            if (s[i] != w[i]) return i;
        }
        return -1;
    }

    public bool Try(string s) {
        if (s == w) return true;
        int n = FindNonterminal(s);
        if (n != -1)
            for (int i = 0; i < rules.Count; i++)
                if (rules[i].left == s[n]) {
                    Step st = new Step(i, n);
                    steps.Add(st);
                    PrintSteps2();
                    if (Try(DoStep(s, st))) return true;
                    steps.RemoveAt(steps.Count - 1);
                    PrintSteps2();
                }
        return false;
    }

    public bool Process(string x) {
        steps = new List();
        w = x;
        return Try("S");
    }
}
class Program {
    public static void Main() {
        PTTD parser = new PTTD();
        parser.AddRule('S', "E");
        parser.AddRule('E', "Te");
        parser.AddRule('e', "&Te");
        parser.AddRule('e', "");
        parser.AddRule('T', "Ft");
        parser.AddRule('t', "|Ft");
        parser.AddRule('t', "");
        parser.AddRule('F', "~F");
        parser.AddRule('F', "(E)");
        parser.AddRule('F', "d");
        parser.AddRule('F', "s");
        parser.PrintAllRules();
        if (parser.Process("d&~s"))
            Console.WriteLine("\nThuat toan ket thuc thanh cong");
        else
            Console.WriteLine("\nThuat toan ket thuc that bai");
    }
}

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

51

52

53

54

55

56

57

58

59

60

61

62

63

64

65

66

67

68

69

70

71

72

73

74

75

76

77

78

79

80

81

82

83

84

85

86

87

88

89

90

91

92

93

94

95

96

97

98

99

100

101

102

103

104

105

106

107

108

using System;

using System.Collections.Generic;

class Rule {

public char left;

public string right;

public Rule(char l, string r) {

left = l; right = r;

}

public string ToFineString() {

string s = left + " -->";

for (int i = 0; i < right.Length; i++)

s += " " + right[i];

return s;

}

class Step {

public int ruleNumber, position;

public Step(int r, int p) {

ruleNumber = r; position = p;

}

class PTTD {

public List rules = new List();

public List steps;

string w = null;

// thêm luật left --> right vào tập luật

public void AddRule(char left, string right) {

rules.Add(new Rule(left, right));

}

public void PrintAllRules() {

Console.WriteLine("");

foreach (Rule r in rules)

Console.WriteLine(" " + r.ToFineString());

Console.WriteLine();

}

public void PrintSteps2() {

string w = "S";

Console.Write("S");

foreach (Step s in steps) {

string w0 = DoStep(w, s);

Console.Write(" => {0}", w0);

w = w0;

}

Console.WriteLine();

}

string DoStep(string w, Step s) {

string w1 = w.Substring(0, s.position);

string w2 = w.Substring(s.position + 1);

return w1 + rules[s.ruleNumber].right + w2;

}

// tìm kí hiệu không kết thúc đầu tiên trong s

public int FindNonterminal(string s) {

for (int i = 0; i < s.Length; i++) {

if (i >= w.Length) return i;

if (s[i] != w[i]) return i;

}

return -1;

}

public bool Try(string s) {

if (s == w) return true;

int n = FindNonterminal(s);

if (n != -1)

for (int i = 0; i < rules.Count; i++)

if (rules[i].left == s[n]) {

Step st = new Step(i, n);

steps.Add(st);

PrintSteps2();

if (Try(DoStep(s, st))) return true;

steps.RemoveAt(steps.Count - 1);

PrintSteps2();

}

return false;

}

public bool Process(string x) {

steps = new List();

w = x;

return Try("S");

}

class Program {

public static void Main() {

PTTD parser = new PTTD();

parser.AddRule('S', "E");

parser.AddRule('E', "Te");

parser.AddRule('e', "&Te");

parser.AddRule('e', "");

parser.AddRule('T', "Ft");

parser.AddRule('t', "|Ft");

parser.AddRule('t', "");

parser.AddRule('F', "~F");

parser.AddRule('F', "(E)");

parser.AddRule('F', "d");

parser.AddRule('F', "s");

parser.PrintAllRules();

if (parser.Process("d&~s"))

Console.WriteLine("\nThuat toan ket thuc thanh cong");

else

Console.WriteLine("\nThuat toan ket thuc that bai");

}

Đọc tiếp...

Điểm đồ án cuối khóa (Lập Trình Android, lớp AD13L)

13/04/2015 điểm đồ án Chưa có bình luận

Xin chào,

Dưới đây là điểm đồ án cuối khóa của lớp Lập Trình Android AD13L.

Kết quả này dựa trên đánh giá quyển và bảo vệ đồ án ngày 07/03/2015.

Mã Số HV	Họ Tên	Tên Đề Tài	Điểm Số	Xếp Loại
AD13L50	Nguyễn Bá Tú	Ứng dụng tìm kiếm ATM	79	DISTINCTION
IP12L10	Đinh Mạnh Phong	Sổ tay du lịch Việt Nam	71	CREDIT
AD11L27	Phạm Thành Luân	Ứng dụng nghe nhạc	50	PASS
BK-AD.08L23	Nguyễn Thanh Lựu	Sổ tay theo dõi sức khỏe	72	CREDIT
BK-AD.08L25	Trịnh Thị Thương	Sổ tay theo dõi sức khỏe	72	CREDIT
BK-AD.08L21	Dương Thị Thu	Hỗ trợ tìm kiếm và chia sẻ thông tin nhà trọ tại Hà Nội	74	CREDIT
BK-AD.10L35	Đoàn Tuấn Khôi	Quản lý tài chính cá nhân	52	PASS

Giảng viên, Trương Xuân Nam

Đọc tiếp...

Bài 8: Phân tích văn phạm bằng top-down

10/04/2015 lý thuyết Chưa có bình luận

Chủ đề: Phân tích văn phạm bằng top-down

Nội dung chính:

Ý tưởng & thuật toán
Ví dụ minh họa
Cài đặt top-down đơn giản
- Cấu trúc một luật văn phạm
- Cấu trúc một suy diễn trực tiếp
- Máy phân tích: các hàm hỗ trợ
- Máy phân tích: các hàm chính
Đánh giá về top-down
Bài tập

Đọc tiếp...

Bài 7: Biểu diễn cây và các chiến lược phân tích cú pháp

07/04/2015 lý thuyết Chưa có bình luận

Chủ đề: Biểu diễn cây và các chiến lược phân tích cú pháp

Nội dung chính:

Suy dẫn
Biểu diễn suy dẫn bằng cấu trúc cây
Văn phạm có nhập nhằng
Các chiến lược phân tích cú pháp
- Chiến lược thử-sai (quay lui): top-down, bottom-up
- Chiến lược quy hoạch động: CYK, Earley,…
- Chiến lược tất định (deterministic): LL, LR,…
Bài tập

Đọc tiếp...

Chủ Đề

Bài Mới

Có thể bạn sẽ thích

Bình luận mới

Các bài lưu