Sự khác biệt giữa automata hữu hạn và máy trạng thái hữu hạn là gì?

Tôi đã sử dụng FSM trong các thiết kế Mạch tuần tự kỹ thuật số. Nhưng tôi không quen thuộc với Finite Automata. Ai đó có thể giúp tôi hiểu sự khác biệt 'cơ bản' giữa hai người không?

Theo tôi hiểu, cả hai đều có "trạng thái" và "hành động" làm cho máy chuyển từ trạng thái này sang trạng thái khác theo tín hiệu đầu vào. Do đó, các ý tưởng khái niệm là như nhau. Có một số khác biệt trong các chi tiết.

Trong FSM cho các thiết kế mạch, tín hiệu đầu vào chủ yếu được coi là một bit (nhị phân), trong khi ở trạng thái tự động hữu hạn, người ta có thể có một bảng chữ cái "trừu tượng" chung của các ký hiệu đầu vào. Thứ hai, một FSM cũng tạo ra một đầu ra, liên quan đến trạng thái đạt được, cũng là nhị phân. Trong thuật ngữ automata, 'phần mở rộng' này được gọi là máy Moore. Tuy nhiên, Automata có trạng thái cuối cùng (hoặc chấp nhận), điều đó báo hiệu đầu vào thuận lợi. Cuối cùng, FSM chủ yếu mang tính quyết định, tức là, đối với mỗi đầu vào ở một trạng thái nhất định, có một trạng thái tiếp theo. Trong lý thuyết automata người ta cũng xem xét biến thể không xác định nơi mà người ta có thể có sự lựa chọn ở nơi cần di chuyển.

Dựa trên kinh nghiệm của tôi cũng như bài viết trên Wikipedia, có một số loại máy trạng thái hữu hạn , bao gồm

• automata hữu hạn ,
• đầu dò và
• hệ thống chuyển tiếp .

Một số khái niệm bay xung quanh khác nhau chủ yếu ở động lực; một số phát sinh từ ngôn ngữ và / hoặc lý thuyết tính toán, một số khác từ kiến ​​trúc máy tính.

Lưu ý rằng bạn cũng có thể thay đổi một số mô hình để có được automata, ví dụ, vẫn là automata trạng thái hữu hạn, chẳng hạn

• Büchi automata ,
• automata xác suất ,
• automata lượng tử hoặc
• cây automata .

Như bạn có thể thấy, vani automata hữu hạn như được dạy trong TCS 101, nhưng là một hương vị của nhiều người, mỗi hương vị có định nghĩa riêng (ít nhiều chính thức).

Mặc dù ý tưởng chính mà cả hai đều dựa vào là giống nhau. Cả hai đều sử dụng trạng thái hữu hạn và nhảy sang trạng thái khác làm nguồn cấp dữ liệu đầu vào. Tuy nhiên, FSM là một máy, như Full adder hoặc SR flipflop có các bit làm đầu vào và đầu ra. Vâng, FSA cũng có đầu ra bit, 0 cho trạng thái không kết thúc và 1 cho trạng thái kết thúc, nhưng nó là một cơ chế trừu tượng và không nhìn thấy. Có sự khác biệt trong các bản vẽ được vẽ để thể hiện chúng. Bên cạnh đó, FSA là một thiết bị logic và tính toán trong khi FSM là một thiết bị logic kỹ thuật số.