Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
Automat hữu hạn (p01) là nội dung bài 2 thuộc Bài giảng Lý thuyết tính toán. Bài giảng hướng đến trình bày các vấn đề cơ bản về 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;. | LÝ THUYẾT TÍNH TOÁN INTRODUCTION TO COMPUTATION THEORY FORMAL LANGUAGES AUTOMATA Bài 02. Automat hữu hạn p01 Sử dụng slides của các tác giả Hồ Văn Quân Nick Hopper TIN331 GV Nguyen Ngọc Tú Tu.NguyenNgoc@hoasen.edu.vn Nội dung 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 Accepter hữu hạn đơn định - DFA Định nghĩa 2.1 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 Q L ô 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