Tin học lý thuyết - Chương 4 pptx

1 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: 2 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 . của tập chính quy. Định lý 4. 3: tập hợp chính quy đóng với các phép toán: hợp, nối kết và bao đóng Kleen. Định lý 4. 4: tập hợp chính quy đóng với phép lấy phần bù. Định lý 4. 5: tập hợp chính quy. đươ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: 2 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