... Automata hữu hạn (Finite automata) Lớp ngôn ngữ Ngôn ngữ qui”, đoán nhận máy ảo, gọi tên automata hữu hạn Automata hữu hạn đơn định (Deterministic Finite Automata – DFA Automata hữu hạn ... q2 q3 20 Ngôn ngữ DFA Định nghĩa: Ngôn ngữ L(A) DFA A = (Q, , , q0, F) xác định bởi: L(A) = {w | ^(q0, w) F } Nếu ngôn ngữ L L(A) DFA A đó, ta nói, L ngôn ngữ qui 21 Automata hữu hạn không ... Finite Automata – NFA) Automata hữu hạn không đơn định, chấp nhận phép truyền rỗng (ε-NFA) Giới thiệu phi hình thức automata hữu hạn Một toán automata nhận diện chuỗi w có thuộc ngôn ngữ L...