Finite State Machine FREE

Ứng dụng này thực hiện một thuật toán để giảm một máy nhà nước hữu hạn.

Một máy hữu hạn nhà nước (FSM) hoặc máy tự động hữu hạn trạng thái (số nhiều: Máy tự động), hoặc đơn giản là một máy nhà nước, là một mô hình toán học tính toán được sử dụng để thiết kế cả hai chương trình máy tính và mạch logic tuần tự. Nó được hình thành như một máy trừu tượng có thể được trong một trong một số hữu hạn của các quốc gia. Máy là chỉ trong một nhà nước tại một thời điểm; tình trạng đó là trong bất cứ lúc nào được gọi là trạng thái hiện tại. Nó có thể thay đổi từ một tiểu bang khác khi được khởi xướng bởi một sự kiện kích hoạt hay điều kiện, điều này được gọi là quá trình chuyển đổi. Một FSM cụ thể được xác định bởi một danh sách của các quốc gia của mình, và điều kiện kích hoạt mỗi lần chuyển.

Hành vi của máy nhà nước có thể được quan sát thấy trong nhiều thiết bị trong xã hội hiện đại, thực hiện một trình tự định trước các hành động tùy thuộc vào một chuỗi các sự kiện mà họ được trình bày. Ví dụ đơn giản được máy có phân chia sản phẩm khi kết hợp đúng đắn của đồng tiền được gửi, thang máy mà thả người đi ra ở tầng trên trước khi đi xuống, đèn giao thông mà thay đổi trình tự khi chiếc xe được chờ đợi, và ổ khóa kết hợp có yêu cầu đầu vào của số kết hợp trong bán hàng tự động theo đúng thứ tự.

Máy hữu hạn nhà nước có thể mô hình một số lượng lớn của các vấn đề, trong đó có tự động hóa thiết kế điện tử, thiết kế giao thức truyền thông, phân tích ngôn ngữ và các ứng dụng kỹ thuật khác. Trong sinh học và nghiên cứu trí tuệ nhân tạo, máy nhà nước hoặc phân cấp của máy nhà nước đã được sử dụng để mô tả các hệ thống thần kinh và trong ngôn ngữ để mô tả ngữ pháp của các ngôn ngữ tự nhiên.