... đơn định DFA: *Định nghĩa : một DFA là một bộ năm: A=(Q, Σ, δ, q0, F) Trong đó:Q : tập khác rỗng, tập hữu hạn các trạng thái (p, q…);Σ : bộ chữ cái nhập vào (a, b, c …);δ : D→ Q, hàm chuyển ... chuyển dịch trạng thái, khi đó mà hình hiển thị tập các trạng thái kết thúc vàbảng chuyển trạng thái của DFA.Khi đã điền đầy đủ thông tin của tập các trạng thái kết thúc và bảng chuyểntrạng ... hoặc cho dưới dạng đồthị chuyển.• Đồ thị chuyển là một đa đồ thị có hướng (có thể có khuyên) G: Tập đỉnh củaG được gán nhãn bởi các phần tử thuộc Q, các cung được gán nhãn bởi cácphần tử thuộc...