ÔTÔMÁT HỮU HẠN VÀ BIỂU THỨC CHÍNH QUY
ÔTÔMÁT HỮU HẠN (FA : Finite Automata) Tại mỗi thời điểm, hệ thống có thể được xác định ở một trong số hữu hạn trạng thái (states). Mỗi trạng thái của hệ thống tại mỗi thời điểm sẽ thay
đổi tùy thuộc vào INPUT, Ôtômát hữu hạn (FA) được chia thành 2 loại: đơn
định (DFA) và không đơn định (NFA)., DFA có khả năng nhận dạng ngôn ngữ dễ dàng hơn
NFA, nhưng thay vào đó thông thường kích thước
của nó lại lớn hơn so với ôtô mát hữu hạn không đơn
định tương đương....