Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Sức khỏe - Y tế
Văn bản luật
Nông Lâm Ngư
Kỹ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Giới thiệu
Đăng ký
Đăng nhập
Tìm
Danh mục
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Y tế sức khỏe
Văn bản luật
Nông lâm ngư
Kĩ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Thông tin
Điều khoản sử dụng
Quy định bảo mật
Quy chế hoạt động
Chính sách bản quyền
Giới thiệu
Đăng ký
Đăng nhập
0
Trang chủ
Công Nghệ Thông Tin
Tin học văn phòng
Bài giảng Tin học lý thuyết - Chương 4: Văn phạm chính quy và các tính chất
Đang chuẩn bị liên kết để tải về tài liệu:
Bài giảng Tin học lý thuyết - Chương 4: Văn phạm chính quy và các tính chất
Nguyệt Ánh
101
9
ppt
Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
Chương 4 - Văn phạm chính quy và các tính chất. Nội dung chính trong chương này gồm có: Văn phạm chính quy (RG: Regular Grammar), sự tương đương giữa RG và FA, bổ đề bơm cho tập hợp chính quy, tính chất đóng của tập hợp chính quy. . | Văn phạm chính quy & các tính chất Nội dung: Văn phạm chính quy (RG: Regular Grammar) Sự tương đương giữa RG và FA Bổ đề bơm cho tập hợp chính quy Tính chất đóng của tập hợp chính quy Chương 4: Văn phạm chính quy Văn phạm chính quy: là văn phạm mà tất cả các luật sinh của nó đều có dạng tuyến tính trái (hoặc tuyến tính phải) Tuyến tính trái: dạng A Bw hoặc A w Tuyến tính phải: dạng A wB hoặc A w Văn phạm chính quy, ngôn ngữ chính quy, biểu thức chính quy và tập hợp chính quy: Văn phạm chính quy sinh ra ngôn ngữ chính quy Ngôn ngữ chính quy có thể được ký hiệu đơn giản bằng một biểu thức chính quy Tập hợp các chuỗi được ký hiệu bởi một biểu thức chính quy được gọi là tập hợp chính quy Sự tương đương giữa RG & FA Định lý 4.1: Nếu L được sinh ra từ một văn phạm chính quy thì L là tập hợp chính quy Ý nghĩa: một văn phạm chính quy có thể được biểu diễn bởi một Automata hữu hạn. Ví dụ: xét văn phạm tuyến tính phải: S 0A ; A 10A | ε Nếu A là một biến: δ([A], ε) = { | A là một luật sinh} Nếu a là một ký hiệu kết thúc: δ([a ], a) = { [ ] } Trạng thái bắt đầu [S], trạng thái kết thúc [ε] [0A] [A] [ ] 0 Start [10A] [S] 1 Sự tương đương giữa RG & FA Ví dụ: xét văn phạm tuyến tính trái: S S10 | 0 Đảo ngược văn phạm tuyến tính trái tuyến tính phải S 01S | 0 [S] [01S] [ ] Start [0] [1S] 1 0 Đảo ngược automata 0 [0] Start [01S] [ ] 0 1 0 [S] [1S] Sự tương đương giữa RG & FA Định lý 4.2: Nếu L là một tập hợp chính quy thì L được sinh ra từ một văn phạm tuyến tính trái hoặc một văn phạm tuyến tính phải nào đó Ý nghĩa: một Automata hữu hạn có thể được biểu diễn bởi một văn phạm chính quy. Ví dụ: xét DFA cho 0(10)* A C B 0 1 0, 1 Start D 0 1 1 0 Sự tương đương giữa RG & FA Tuyến tính phải: xét hàm chuyển trạng thái δ(p, a) = q Ta có luật sinh: p aq Ngoài ra, nếu q là trạng thái kết thúc, ta có thêm luật sinh: p a Nếu q0 là trạng thái kết thúc, thêm vào: S q0 | ε A 0B | 1D | 0 B 0D | 1C C 0B | 1D | 0 D 0D | 1D A 0B | 0 B 1C C 0B | Văn phạm chính quy & các tính chất Nội dung: Văn phạm chính quy (RG: Regular Grammar) Sự tương đương giữa RG và FA Bổ đề bơm cho tập hợp chính quy Tính chất đóng của tập hợp chính quy Chương 4: Văn phạm chính quy Văn phạm chính quy: là văn phạm mà tất cả các luật sinh của nó đều có dạng tuyến tính trái (hoặc tuyến tính phải) Tuyến tính trái: dạng A Bw hoặc A w Tuyến tính phải: dạng A wB hoặc A w Văn phạm chính quy, ngôn ngữ chính quy, biểu thức chính quy và tập hợp chính quy: Văn phạm chính quy sinh ra ngôn ngữ chính quy Ngôn ngữ chính quy có thể được ký hiệu đơn giản bằng một biểu thức chính quy Tập hợp các chuỗi được ký hiệu bởi một biểu thức chính quy được gọi là tập hợp chính quy Sự tương đương giữa RG & FA Định lý 4.1: Nếu L được sinh ra từ một văn phạm chính quy thì L là tập hợp chính quy Ý nghĩa: một văn phạm chính quy có thể được biểu diễn bởi một Automata hữu hạn. Ví dụ: xét văn phạm tuyến tính phải: S 0A ; A 10A | ε Nếu A là một biến: δ([A], ε) = { | A là .
TÀI LIỆU LIÊN QUAN
Ms Access - Chương 4: Tạo cơ sở dữ liệu khác Trong chương 2, “Học Access trong 1
MS Access - Chương 3: Tùy biến các thành phần Trong chương trước, bạn đã học
Bài giảng Tin học đại cương: Chương 1 - Học viện ngân hàng
MS Access - Chương 5: Sắp xếp và lọc thông tin
Bài giảng Lý luận phương pháp dạy học Tin học 1: Phần lý thuyết - Chương 2
Bài giảng Tin học đại cương: Chương 5 – Học viện ngân hàng (Khoa Hệ thống thông tin quản lý)
Bài giảng Tin học đại cương: Chương 2 - Học viện ngân hàng
MS Access - Chương 2: Học Access trong 1 giờ
MS Access - Chương 1: Thuật ngữ Access
Bài giảng An toàn thông tin - Chương 2: Mật mã học
crossorigin="anonymous">
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.