bài giảng lý thuyết tính toán

... LÝ THUYẾT TÍNH TỐN INTRODUCTION TO COMPUTATION THEORY (FORMAL LANGUAGES & AUTOMATA) Bài 02 Automat hữu hạn (p01) Sử dụng slides tác giả: Hồ ... {q1, q2}  δ*({q0}, b) = ∅  δ*({q1, q2}, b) = {q0} a a {q0} b b ∅ a, b {q1, q2} Định lý tương đương  Định lý 2.2 L ngôn ngữ chấp nhận accepter hữu hạn không đơn định MN = (QN, Σ, δN, q0, FN), ... B6 khơng cịn cạnh thiếu B3 Lấy đỉnh {qi, qj, … , qk} GD mà có cạnh cịn chưa định nghĩa a ∈ Σ B4 Tính δN*({qi, qj, … , qk}, a) = {ql, qm, … , qn} B5 Tạo đỉnh cho GD có nhãn {ql, qm, … , qn} chưa

Ngày tải lên: 08/05/2021, 18:17

... LÝ THUYẾT TÍNH TỐN INTRODUCTION TO COMPUTATION THEORY (FORMAL LANGUAGES & AUTOMATA) Bài 06 Ngôn ngữ phi ngữ cảnh Dạng chuẩn Sử dụng slides ... yi(x1 + x2 + + xn)* ⇒ L(G) = L(G1) E.x  Sử dụng Định lý 6.2 để loại bỏ luật sinh đệ qui-trái khỏi VP   A → Aa | aBc | λ Áp dụng định lý cho biến A ta tập luật sinh sau: A → aBc | λ | aBcZ ... có dẫn xuất G G1 sau: A ⇒ aA ⇒ abBc ⇒ abbc  A ⇒ aA ⇒ abbc  Biến đổi văn phạm – quy tắc  Định lý 6.2 (Loại bỏ đệ qui trái)  Cho G = (V, T, S, P) VPPNC Chia tập luật sinh mà vế trái chúng biến

Ngày tải lên: 08/05/2021, 18:17

... LÝ THUYẾT TÍNH TỐN INTRODUCTION TO COMPUTATION THEORY (FORMAL LANGUAGES & AUTOMATA) Bài 05 Ngôn ngữ phi ngữ cảnh Sử dụng slides tác giả: Hồ ... Định lý 5.1 G = (V, T, S, P) VPPNC, ∀ w ∈ L(G), tồn CDX G mà kết w Ngược lại, kết CDX thuộc L(G) Tương tự, tG CDX riêng phần G mà gốc gán nhãn S kết tG dạng câu G  Cho Phân tích cú pháp tính ... VP với luật sinh thêm vào S → S1 | S2 Văn phạm phi ngữ cảnh NNLT   Một ứng dụng quan trọng lý thuyết NNHT định nghĩa NNLT xây dựng trình dịch cho chúng Theo truyền thống người ta dùng dạng

Ngày tải lên: 08/05/2021, 18:18

... LÝ THUYẾT TÍNH TỐN BÀI 1: KIẾN THỨC CƠ SỞ Phạm Xuân Cường Khoa Công nghệ thông tin cuongpx@tlu.edu.vn Nội dung giảng Tập hợp Đồ thị, Chuỗi ngôn ngữ Boolean Logic Định nghĩa, định lý chứng ... luận logic có sức thuyết phục mệnh đề • Định lý: mệnh đề toán học chứng minh 19 Định nghĩa, định lý chứng minh • Bổ đề: mệnh đề suy từ định lý • Hệ quả: Được suy chứng minh định lý • Phỏng đốn: ... A B ã Trên thực tế biểu diễn tất toán tử Boolean dạng toán tử And Not P∨Q ⇔ ¬(¬P∧¬Q) P→Q ⇔ ¬P∨Q P⊕Q ⇔ ¬(P↔Q) 18 Định nghĩa, định lý chứng minh Định nghĩa, định lý chứng minh • Định nghĩa: mô tả

Ngày tải lên: 14/12/2021, 09:34

... LÝ THUYẾT TÍNH TỐN BÀI 2: ƠTƠMAT HỮU HẠN Phạm Xuân Cường Khoa Công nghệ thông tin cuongpx@tlu.edu.vn Nội dung giảng Ơtơmat hữu hạn Định nghĩa hình thức ... Ơtơmat hữu hạn (Finite State Machine - FSM hay Finite Automation) • Là mơ hình tính tốn đơn giản • Phù hợp với: - Các máy tính điều khiển nhỏ - Có số trạng thái hữu hạn nhỏ Ví dụ: Bộ điều khiển cửa ... aabaa, aabb, } 14 Tập đóng • Tập hợp A + Tốn tử ≡ Phần tử tập A → A tập đóng Định lý Lớp ngơn ngữ quy đóng toán tử hợp ⇔ Nếu A1 A2 ngơn ngữ quy A1 ∪ A2 ngơn ngữ quy Chứng minh Ý tưởng: - Giả

Ngày tải lên: 14/12/2021, 09:34

... LÝ THUYẾT TÍNH TỐN BÀI 3: ƠTƠMAT HỮU HẠN KHƠNG ĐƠN ĐỊNH Phạm Xuân Cường Khoa Công nghệ thông tin cuongpx@tlu.edu.vn Nội dung giảng Khái niệm Sự tương đương NFA ... tương đương NFA DFA Sự tương đương NFA DFA Định lý Mọi NFA biến đổi thành DFA tương đương Ví dụ: Đoán nhận tất chuỗi {0,1}* mà có chữ số vị trí thứ tính từ cuối lên 0,1 start a start b 0,1 a b c ... aax, aayy, bx, byy} A* = {ε, aa, b, aaaa, aab, baa, bb, aaaaaa, aaaab, aabaa, aabb, } 18 Định lý Lớp ngôn ngữ quy đóng tốn tử hợp ⇔ Nếu A1 A2 ngơn ngữ quy A1 ∪ A2 ngơn ngữ quy 19 Chứng minh

Ngày tải lên: 14/12/2021, 09:35

... LÝ THUYẾT TÍNH TỐN BÀI 4: BIỂU THỨC CHÍNH QUY Phạm Xuân Cường Khoa Công nghệ thông tin cuongpx@tlu.edu.vn Nội dung giảng Khái niệm Định nghĩa hình thức Sự ... tốn tử quy • Tốn tử có độ ưu tiên cao ab* = a(b*) = (ab)* • Tốn tử ghép tiếp có độ ưu tiên cao toán tử hợp a◦b ∪ c = (a◦b) ∪ c = a(b ∪ c) • Một số ký hiệu khác: - Hoặc (Union): ab|c = (ab)|c ... start R = R1 ∪ R2 R = R1 ◦ R2 R = R1 * Với trường hợp cuối ta chứng minh tương tự với chứng minh tính đóng tốn tử (Xem lại 3) 11 Ví dụ: Chuyển đổi R → NFA Chuyển đổi biểu thức quy sau thành NFA:

Ngày tải lên: 14/12/2021, 09:35

... LÝ THUYẾT TÍNH TỐN BÀI 6: VĂN PHẠM PHI NGỮ CẢNH Phạm Xuân Cường Khoa Công nghệ thông tin cuongpx@tlu.edu.vn Nội dung giảng Khái niệm Định nghĩa hình thức ... quy tắc: S → εvới S biến bắt đầu Định lý Mọi ngôn ngữ phi ngữ cảnh sinh văn phạm phi ngữ cảnh dạng chuẩn tắc Chomsky 16 Chứng minh định lý Chứng minh định lý 2: Với CFG ta chuyển chúng dạng chuẩn ... →E×E → (E) →a Văn phạm khơng nhập nhằng: E→E+T →T T→T×F →F F → (E) →a 12 Ngơn ngữ quy CFG Định lý Mọi ngơn ngữ quy phi ngữ cảnh Chứng minh Ý TƯỞNG: Cho DFA, xây dựng văn phạm tạo ngơn ngữ với

Ngày tải lên: 14/12/2021, 09:35

... LÝ THUYẾT TÍNH TỐN BÀI 7: Ơtơmat đẩy xuống Phạm Xuân Cường Khoa Công nghệ thông tin cuongpx@tlu.edu.vn Nội dung giảng Khái niệm Định nghĩa hình thức Sự ... phi ngữ cảnh Khái niệm Khái niệm • Ơtơmat đẩy xuống = Push down automata (PDA) • PDA: Là mơ hình tính tốn, giống với NFA ngoại trừ thành phần mở rộng gọi ngăn xếp • Ngăn xếp: Là cấu trúc liệu hoạt

Ngày tải lên: 14/12/2021, 09:35

... LÝ THUYẾT TÍNH TỐN BÀI 8: Máy Turing Phạm Xn Cường Khoa Công nghệ thông tin cuongpx@tlu.edu.vn Nội dung giảng Khái niệm Định nghĩa hình thức Ngơn ngữ ... Turing Machine (TM) • TM: - Được đề xuất vào năm 1936 Alan Turing Là mơ hình tính tốn mạnh PDA FSM Là mơ hình xác nhiều máy tính đa Tương tự DFA có nhớ vơ hạn khơng hạn định b b b a a a a q1 Finite ... qaccept , qreject } • Σ = {0} • Γ = {0,x,␣} • δ Minh họa biểu đồ trạng thái 18 Lịch sử tính tốn Lịch sử tính tốn với xâu 0000 Cấu hình ban đầu q1 0000 q1 0000 ␣q2 000 ␣xq3 00 ␣x0q4 ␣x0xq3 ␣ ␣x0q5

Ngày tải lên: 14/12/2021, 09:36

... LÝ THUYẾT TÍNH TỐN BÀI 9: Các biến thể máy Turing Phạm Xuân Cường Khoa Công nghệ thông tin cuongpx@tlu.edu.vn Nội dung giảng Giới thiệu Máy Turing tùy chọn ... sửa đổi • Băng mơ phỏng: Mơ tính tốn TM khơng đơn định nhánh • Băng địa chỉ: Lưu vị trí hoạt động nhánh hoạt động TM không đơn định 28 Chứng minh (2) Ta gán địa cho nút tính tốn TM khơng đơn định: ... {L,R,S} Ví dụ ␣ ␣ a a b a b ␣ ␣ a b a b ␣ ␣ q1 a → b, S ␣ ␣ b q2 Sự tương đương với TM chuẩn Định lý Mọi máy Turing tùy chọn chỗ có máy Turing chuẩn tương đương Chứng minh Máy Turing tùy chọn chỗ

Ngày tải lên: 14/12/2021, 09:36

... LÝ THUYẾT TÍNH TỐN BÀI 10: Định nghĩa giải thuật Phạm Xuân Cường Khoa Công nghệ thông tin cuongpx@tlu.edu.vn Nội dung giảng Khái niệm Bài toán Hilbert Luận đề Church-Turing ... kỉ XX, chưa tồn khái niệm giải thuật (các khái niệm mang tính trực giác giải thuật) Bài toán Hilbert Bài toán Hilbert • Năm 1900 nhà toán học David Hilbert đưa tốn có liên quan đến giải thuật ... 3, z = • Bài tốn Hilbert đưa giải thuật để kiểm tra đa thức có nghiệm ngun hay khơng Bài tốn Hilbert • Cần phải có định nghĩa giải thuật giải tốn • Alonzo Church Alan Turing đưa phép tính Lamda

Ngày tải lên: 14/12/2021, 09:36

... đương Một số tốn ngơn ngữ khác Bài toán chấp thuận ADFA = { | B DFA chấp thuận xâu vào w} Bài toán kiểm tra rỗng (Emptiness Testing) EDFA = { | A DFA L(A) = Ø} Bài toán kiểm tra tương đương (Equality ... CFG → PDA nên tính định PDA tương tự CFG 13 Bài toán kiểm tra CFG sinh chuỗi rỗng Bài toán: Liệu văn phạm phi ngữ cảnh CFG không sinh xâu hay không ECFG = { | G CFG L(G) = Ø} Định lý ECFG ngôn ... LÝ THUYẾT TÍNH TỐN BÀI 11: Các ngơn ngữ định Phạm Xuân Cường Khoa Công nghệ thông tin cuongpx@tlu.edu.vn Nội dung giảng Giới thiệu Các tốn định với ngơn

Ngày tải lên: 14/12/2021, 09:36

... LÝ THUYẾT TÍNH TỐN BÀI 13: Bài tốn dừng Phạm Xuân Cường Khoa Công nghệ thông tin cuongpx@tlu.edu.vn Nội dung giảng Bài toán dừng Máy Turing vạn Phương pháp chéo hóa Ngơn ngữ đốn nhận Turing Bài ... nhận Turing Bài toán dừng Bài toán dừng • Một số tốn giải thuật tốn, số khơng thể → Nghiên cứu giới hạn máy tính ATM = { | M máy Turing chấp thuận xâu vào w} Định lý ATM không định Bài tốn dừng ... nhận vô hạn đếm Định lý Tập tất ngôn ngữ vô hạn không đếm Hệ Tồn số ngôn ngữ không Turing-recognizable 12 Bài tốn dừng khơng định ATM = { | M máy Turing đoán nhận w} Định lý ATM không định Chứng

Ngày tải lên: 14/12/2021, 09:37

... LÝ THUYẾT TÍNH TỐN BÀI 14: Quy dẫn Phạm Xn Cường Khoa Công nghệ thông tin cuongpx@tlu.edu.vn Nội dung giảng Giới thiệu Các tốn khơng định Quy dẫn thơng qua lịch sử tính toán Bài toán PCP ... tập domino khơng thể tìm đối xứng: abc ca acc , , ab a ba 17 Bài toán PCP • Bài toán PCP toán định xem tập domino có đối xứng khơng • Bài tốn khơng giải thuật tốn • Mơ tả tốn dạng ngơn ngữ - Một ... chữ nhật → Bài tốn đo chiều dài, chiều rộng Logic ngược • Quy dẫn: đưa tốn khó tốn dễ • Nếu tốn khó khơng thể giải → Bài toán dễ phải chắn khơng giải • Ví dụ: - Bài tốn A: Sống mãi - Bài tốn B:

Ngày tải lên: 14/12/2021, 09:37

... định  Máy Turing vạ vạn  Ơtơmat tuyế tuyến tí tính giớ giới nộ nội  Văn phạ phạm cảm ngữ ngữ cảnh Lý thuyế ết tí ính tố án thuy ttính to thuyết toán (Theory (Theory of of Computation) Computation) ... vai trị quan trọ trọng lý thuyế thuyết tí tính toá toán (Computability) Luậ Luận đề đề TuringTuring-Church phá phát biể biểu sau :  Các ngôn ngữ đượ nhận biết thuật toá toán là ngôn ngữ xác đị ... phép tí tính hà hàm : Alonzo Church  Các hà hàm tí tính đượ thuật tố tốn là (1903(1903-1995) : nhà nhà Toá Toán họ học ngườ người Mỹ Mỹ hàm tí tính đợ đợc má máy Turing nghiên cứu phé phép tính

Ngày tải lên: 08/05/2021, 18:17

... định Bài toán dừng Quy dẫn Thi kỳ Thực hành Bài TH Bài TH Bài TH Bài TH Bài TH 5 Questions? TRƯỜNG ĐẠI HỌC THỦY LỢI Khoa Công nghệ thông tin - Bộ mơn Khoa học máy tính LÝ THUYẾT TÍNH TỐN Tên giảng ... rõ sở toán học, sở thuật toán lý thuyết khoa học máy tính để thiết kế hệ thống hay mơ hình tính tốn máy tính - Có khả phân tích vấn đề xác định thành phần cần thiết để giải vấn đề máy tính - ... học máy tính LÝ THUYẾT TÍNH TOÁN Tên giảng viên: Đinh Phú Hùng Email: hungdp@tlu.edu.vn Điện thoại: 0912509973 Tổng quan mơn học • Mục tiêu mơn học: Trang bị cho học viên hiểu biết kĩ tảng tính

Ngày tải lên: 02/10/2023, 13:38

... báo hiệu. • Quản lý mạng báo hiệu (Signaling Network Management): Được thiết lập bởi 3 lĩnh vực kỹ thuật: - Quản lý lưu lượng báo hiệu. - Quản lý liên kết báo hiệu. - Quản lý định tuyến báo ... thức toán học tiên tiến đã thành công trong việc đặt ra học thuyết thông tin dùng để xác định lượng thông tin tối đa mà một hệ thống viễn thông có thể xử lý vào một thời điểm đã định. Học thuyết ... liên kết của các liên kết khu vực tới các chức nǎng quản lý lưu lượng tín hiệu. Chức nǎng quản lý định tuyến báo hiệu. Chức nǎng quản lý định tuyến báo hiệu chỉ được sử dụng khi liên kết báo...

Ngày tải lên: 16/10/2012, 08:47

... TRONG BÀI TOÁN LÝ THUYẾT TÀU  Để xây dựng bản vẽ đường hình và xác định các đặc điểm hình học của tàu, cần phải xác định hệ toạ độ thích hợp và đặt tàu nằm trong hệ toạ độ đó.  Trong các bài ... trong hệ toạ độ đó.  Trong các bài toán tĩnh học thường sử dụng hệ toạ độ liên kết Oxyz gắn liền với tàu Hình 1.6 : Hệ toạ độ dùng trong bài toán lý thuyết tàu Vị trí tàu Toạ độ (x,y,z) Mớn ... dáng phần vỏ tàu dưới nước có ảnh hưởng lớn đến tính năng hàng hải của tàu nên bản vẽ đường hình chính là công cụ mô tả, thông tin và tính toán các tính năng hàng hải của tàu.  Tương tự như...

Ngày tải lên: 22/10/2012, 11:15