tailieunhanh - Bài giảng môn lý thuyết ôtômát và ngôn ngữ hình thức - Chương 3

Tham khảo bài thuyết trình 'bài giảng môn lý thuyết ôtômát và ngôn ngữ hình thức - chương 3', kỹ thuật - công nghệ, điện - điện tử phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | Chương 3 Ngôn ngữ chính qui và văn phạm chính qui Biểu thức chính qui Regular Expression Mối quan hệ giữa BTCQ và ngôn ngữ chính qui Văn phạm chính qui Regular Grammar Trang 97 Lý thuyết Ôtômát NNHT - Khoa Công Nghệ Thông Tin Biêu thức chính qui Biểu thức chính qui BTCQ là gì Là một sự kết hợp các chuỗi kí hiệu của một bảng chữ cái nào đó các dấu ngoặc và các phép toán . và . trong đó phép biểu thị cho phép hội phép. biểu thị cho phép kết nối phép biểu thị cho phép bao đóng sao. Ví dụ Ngôn ngữ a được biểu thị bởi BTCQ a. Ngôn ngữ a b c được biểu thị bởi BTCQ a b c. Ngược lại BTCQ a biểu thị cho ngôn ngữ À a bc aa abc bca bcbc aaa aabc . . Trang 98 Lý thuyết Ôtômát NNHT - Khoa Công Nghệ Thông Tin Định nghĩa hình thức BTCQ Định nghĩa Cho L là một bảng chữ cái thì 1. 0 À và a e E tất cả đều là những BTCQ hơn nữa chúng được gọi là những BTCQ nguyên thủy. 2. Nếu r1 và r2 là những BTCQ thì r1 r2 r1. r2 r1 và r1 cũng vậy. 3. Một chuỗi là một BTCQ nếu và chỉ nếu nó có thể được dẫn xuất từ các BTCQ nguyên thủy bằng một số lần hữu hạn áp dụng các quy tắc trong 2 . Ví dụ Cho E a b c thì chuỗi a . c 0 là BTCQ vì nó được xây dựng bằng cách áp dụng các qui tắc ở trên. Con a b không phải là BTCQ. Trang 99 Lý thuyết Ôtômát NNHT - Khoa Công Nghệ Thông .

TỪ KHÓA LIÊN QUAN
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.