Máy Mealy và máy Moore là những mô hình tính toán quan trọng được nghiên cứu trong Lý thuyết Tính toán và Tự động hóa. Những máy này giúp biểu diễn hành vi của hệ thống máy tính và mạch kỹ thuật số thông qua sơ đồ trạng thái. Mặc dù cả hai đều dựa trên các hàm chuyển đổi, nhưng phương pháp tạo ra đầu ra cho một đầu vào nhất định lại khác nhau giữa chúng. Bài viết này đề cập đến các khái niệm về máy Mealy và máy Moore, sơ đồ của chúng và so sánh các đặc điểm của chúng.

Máy Mealy

Máy Mealy được định nghĩa là một máy trong lý thuyết tính toán mà giá trị đầu ra được xác định bởi cả trạng thái hiện tại và đầu vào hiện tại của nó. Trong máy này, chỉ có tối đa một chuyển đổi là khả thi.
Nó có 6 bộ giá trị: (Q, q0, ∑, ▲, δ, λ')

• Q là một tập hợp hữu hạn các trạng thái.
• q0 là trạng thái ban đầu
• ∑ là bảng chữ cái đầu vào
• ▲ là bảng chữ cái đầu ra
• δ là hàm chuyển đổi ánh xạ Q×∑ → Q
• 'λ' là hàm đầu ra ánh xạ Q×∑→ ▲

Sơ đồ như sau:

Máy Moore

Máy Moore được định nghĩa là một máy trong lý thuyết tính toán mà giá trị đầu ra chỉ được xác định bởi trạng thái hiện tại của nó. Nó cũng có 6 bộ giá trị (tuple).

(Q, q0, ∑, ▲, δ, λ)

1. Q là một tập hợp hữu hạn các trạng thái.
2. q0 là trạng thái ban đầu
3. ∑ là bảng chữ cái đầu vào
4. ▲ là bảng chữ cái đầu ra
5. δ là hàm chuyển đổi ánh xạ Q×∑ → Q
6. λ là hàm đầu ra ánh xạ Q → ▲

Sơ đồ:

Sự khác biệt giữa máy Mealy và máy Moore

Các máy trạng thái như Mealy và Moore đóng vai trò quan trọng trong thiết kế hệ thống số và lý thuyết tự động hóa. Để hiểu rõ hơn sự khác biệt và ứng dụng thực tế của chúng, Khóa học Tự học GATE CS cung cấp các bài học chuyên sâu về tự động hóa hữu hạn và ứng dụng thực tiễn, trở thành nguồn tài liệu tuyệt vời cho các thí sinh dự thi GATE.

Sự khác biệt giữa máy Mealy và máy Moore như sau: