Mục lục:
Định nghĩa - Máy nhà nước có nghĩa là gì?
Một máy trạng thái là một khái niệm được sử dụng trong việc thiết kế các chương trình máy tính hoặc logic kỹ thuật số. Có hai loại máy trạng thái: máy trạng thái hữu hạn và máy vô hạn. Cái trước bao gồm một số hữu hạn các trạng thái, chuyển tiếp và hành động có thể được mô hình hóa bằng các biểu đồ dòng chảy, trong đó đường dẫn logic có thể được phát hiện khi đáp ứng các điều kiện. Thứ hai không thực tế được sử dụng.
Một máy trạng thái là bất kỳ thiết bị nào lưu trữ trạng thái của một cái gì đó tại một thời điểm nhất định. Trạng thái thay đổi dựa trên đầu vào, cung cấp đầu ra kết quả cho những thay đổi được thực hiện. Một máy trạng thái hữu hạn có bộ nhớ trong hữu hạn. Các ký hiệu đầu vào được đọc theo trình tự tạo ra một tính năng đầu ra dưới dạng giao diện người dùng.
Máy trạng thái được biểu diễn bằng sơ đồ trạng thái. Đầu ra của máy trạng thái là một chức năng của đầu vào và trạng thái hiện tại. Máy nhà nước đóng một vai trò quan trọng trong các lĩnh vực như kỹ thuật điện, ngôn ngữ học, khoa học máy tính, triết học, sinh học, toán học và logic. Chúng được sử dụng tốt nhất trong việc mô hình hóa hành vi ứng dụng, công nghệ phần mềm, thiết kế hệ thống kỹ thuật số phần cứng, giao thức mạng, trình biên dịch và nghiên cứu tính toán và ngôn ngữ.
Techopedia giải thích về máy trạng thái
Hoạt động của một máy trạng thái bắt đầu từ trạng thái bắt đầu. Khi chuyển đổi thành công, nó kết thúc ở trạng thái chấp nhận. Việc chuyển đổi diễn ra dựa trên các đầu vào được cung cấp. Trạng thái hiện tại phụ thuộc vào trạng thái trong quá khứ của hệ thống. Số lượng trạng thái được hình thành phụ thuộc vào trạng thái có sẵn của bộ nhớ. Chuyển đổi được bật dựa trên các điều kiện nhất định và cho biết thay đổi trạng thái. Một hành động mô tả một hoạt động được thực hiện tại thời điểm đã cho. Các loại hành động khác nhau là hành động chuyển tiếp, hành động nhập, hành động nhập và hành động thoát.
Automata xác định có chính xác một chuyển đổi trong mỗi trạng thái cho mỗi đầu vào có thể. Trong automata không xác định, đầu vào trạng thái dẫn đến một, nhiều hoặc không có chuyển đổi. Một máy trạng thái chỉ có một trạng thái được gọi là máy trạng thái tổ hợp và chỉ sử dụng các hành động đầu vào.
Hai nhóm khác nhau của máy trạng thái là người chấp nhận và đầu dò. Người chấp nhận tạo ra đầu ra nhị phân, dựa trên việc đầu vào được máy chấp nhận hay từ chối. Trong khi xử lý đầu vào, nếu trạng thái hiện tại chấp nhận, đầu vào được chấp nhận. Nếu không thì bị từ chối. Ngôn ngữ được chấp nhận bởi các máy trạng thái được gọi là ngôn ngữ thông thường. Các trạng thái bắt đầu được thể hiện bằng một mũi tên chỉ vào nó từ bất cứ đâu, trong khi các trạng thái được chấp nhận được biểu diễn bằng các vòng tròn kép. Đầu dò phục vụ đầu ra dựa trên một đầu vào nhất định, sử dụng các hành động. Máy Moore và Mealy là ví dụ về đầu dò.
Các máy trạng thái ngôn ngữ mô hình hóa chưa được sửa đổi cũng được sử dụng rộng rãi vì chúng có cả các đặc tính máy Moore và Mealy bên trong chúng. Chúng bao gồm các khái niệm bổ sung như các vùng trực giao và các trạng thái lồng nhau theo thứ bậc.
