Lập trình dựa trên Automata là một mô hình lập trình máy tính coi các phần của chương trình là automata hữu hạn. Mỗi máy tự động có thể thực hiện một "bước" tại một thời điểm và việc thực hiện chương trình được chia thành các bước riêng lẻ. Các bước giao tiếp với nhau bằng cách thay đổi giá trị của một biến đại diện cho "trạng thái" và luồng điều khiển của chương trình được xác định bởi giá trị của biến đó.

Biến "trạng thái" có thể là kiểu dữ liệu enum đơn giản, nhưng cấu trúc dữ liệu phức tạp hơn có thể được sử dụng. Một kỹ thuật phổ biến là tạo một bảng chuyển trạng thái, một mảng hai chiều bao gồm các hàng đại diện cho mọi trạng thái có thể và các cột biểu thị tham số đầu vào. Giá trị của bảng nơi hàng và cột gặp nhau là trạng thái tiếp theo mà máy sẽ chuyển sang nếu đáp ứng cả hai điều kiện.

Máy trạng thái hữu hạn, Đầu vào, Mô hình, Thuật ngữ lập trình