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

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 2', 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 2 Ôtômát hữu hạn Accepter hữu hạn đơn định Accepter hữu hạn không đơn định Sự tương đương giữa accepter hữu hạn đơn định và accepter hữu hạn không đơn định Rút gọn số trạng thái của một ôtômát hữu hạn Trang 47 Lý thuyết Ôtômát NNHT - Khoa Công Nghệ Thông Tin Accepter hữu hạn đơn định Định nghĩa Một accepter hữu hạn đơn định deterministic finite state accepter hay dfa được định nghĩa bởi bộ năm M Ổ ỗ q0 F Q là một tập hữu hạn các trạng thái nội internal states s là một tập hữu hạn các ký hiệu được gọi là bảng chữ cái ngõ nhập input alphabet ô Q X s Q là hàm chuyển trạng thái transition function . Đê chuyên trạng thái ôtômát dựa vào trạng thái hiện hành q e Q nó đang ở vào và kí hiệu nhập a e s nó đang đọc được nó sẽ chuyên sang trạng thái kế được định nghĩa sẵn trong ô. Trang 48 Lý thuyết Ôtômát NNHT - Khoa Công Nghệ Thông Tin Accepter hữu hạn đơn định tt q0 e Q là trạng thái khởi đầu initial state F c Q là một tập các trạng thái kết thúc final states hay còn được gọi là trạng thái chấp nhận . Chú ý Ôtômát hữu hạn không có bộ nhớ so với mô hình tổng quát. Trang 49 Lý thuyết Ôtômát NNHT - Khoa Công Nghệ Thông .