... M1 và M2 là tương đương thì cặptrạng thái đầu phải là cặp trạng thái tương đương. Ngược lại, nếu cặp trạng tháiđầu là cặp trạng thái phân biêt thì M1 và M2 là không tương đương. Áp dụng ... đó sử dụng 2 ma trận đã lưuđể kiểm tra tính tương đương của 2 ma trận DFA đó.Phần 1: Cơ sở lý thuyếtI.1.Giới thiệu về automata hữu hạn (FA): Automata là một mô hình toán học hay máy trừu ... Tiểu luận NNHT và Automata I.2 .Automata hữu hạn đơ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,...