MỤC LỤC

(Deterministic Finite Automat – DFA) 1

I.1. Mô tả không hình thức. 1

I.2. Mô tả hình thức. 2

I.3. DFA xử lý xâu như thế nào. 2

I.4. Các cách biểu diễn đơn giản hơn của DFA 4

a. Biểu đồ dịch chuyển. 4

b. Bảng dịch chuyển. 5

I.5. Hàm dịch chuyển mở rộng. 5

I.6. Ngôn ngữ được thừa nhận bởi DFA 7

Chương II. 9

SỰ TƯƠNG ĐƯƠNG CỦA CÁC AUTOMAT DFA 9

II.1. Sự tương đương của các trạng thái 9

II.2. Sự tương đương của các DFA 11

a. Dự vào bảng đánh dấu sự tương đương các trạng thái 11

b. Dựa vào tính đóng dưới phép giao. 12

II.3. Cài đặt 15

a. Cài đặt dựa theo trạng thái tương đương. 1