Finite automata là gì?

Một automata với một số lượng hữu hạn các trạng thái (state) được gọi là finite automata.

Automata hữu hạn (finite automata) được sử dụng để nhận dạng các pattern. Nó lấy chuỗi của các ký hiệu (symbol) làm đầu vào và thay đổi trạng thái (state) của nó tương ứng. Khi ký hiệu mong muốn được tìm thấy, thì quá trình chuyển trạng thái (transition) sẽ xảy ra. Automata hữu hạn (inite automata) có hai trạng thái, trạng thái Accept state hoặc Reject state. Khi chuỗi đầu vào được xử lý thành công và dữ liệu tự động đạt đến trạng thái kết thức (final state), thì nó sẽ chấp nhận chuỗi đó.

Một automaton hữu hạn là tập hợp 5 bộ (Q, ∑, δ, q0, F), trong đó: Q: tập hợp hữu hạn các trạng thái, ∑: tập hợp hữu hạn của ký hiệu đầu vào, q0: trạng thái ban đầu (initial state), F: trạng thái kết thúc (final state ), δ: hàm chuyển trạng thái (transition function).