Máy trạng thái hữu hạn

Máy trạng thái hữu hạn (finite-state machine FSM) hoặc Máy tự động trạng thái hữu hạn (finite-state automaton FSA), hoặc là máy tự động hữu hạn, hoặc gọi đơn giản là máy trạng thái, là một mô hình tính toán toán học. Nó là một máy trừu tượng luôn có trạng thái nằm trong tổng hữu hạn các trạng thái tại bất kỳ thời điểm nào. Máy trạng thái hữu hạn có thể chuyển từ trạng thái này sang trạng thái khác để phù hợp với đầu vào; sự thay đổi này được gọi là quá trình chuyển đổi. Máy trạng thái hữu hạn được xác định bởi danh sách các trạng thái của nó, trạng thái khởi đầu, và các điều kiện cho từng sự chuyển đổi trạng thái.

Hành vi của máy trạng thái có thể được quan sát qua nhiều thiết bị hiện đại, đó là việc thực hiện một chuỗi các hành động định trước tùy vào chuỗi sự kiện mà chúng được lập trình.

Máy trạng thái hữu hạn có công suất tính toán thấp hơn một số mô hình tính toán khác như máy Turing.[1] Sự khác biệt năng lực tính toán cũng có nghĩa là có những bài toán mà máy Turing có thể thực hiện, nhưng máy trạng thái thì không. Nguyên nhân là do bộ nhớ của máy trạng thái bị giới hạn bởi số trạng thái. Máy trạng thái được nghiên cứu trong lĩnh vực tổng quát hơn thuộc lý thuyết tự động.

Ví dụ: Của quay hoạt động bằng tiền xu

[sửa | sửa mã nguồn]

Khái niệm và thuật ngữ

[sửa | sửa mã nguồn]

Cách mô tả

[sửa | sửa mã nguồn]

Bảng trạng thái/sự kiện

[sửa | sửa mã nguồn]

Máy trạng thái UML

[sửa | sửa mã nguồn]

Máy trạng thái SDL

[sửa | sửa mã nguồn]

Các dạng biểu đồ trạng thái khác

[sửa | sửa mã nguồn]

Ứng dụng

[sửa | sửa mã nguồn]

Phân loại

[sửa | sửa mã nguồn]

Theo bộ chấp nhận và nhận dạng

[sửa | sửa mã nguồn]

Bộ phân loại

[sửa | sửa mã nguồn]

Bộ chuyển dịch

[sửa | sửa mã nguồn]

Bộ phát sinh

[sửa | sửa mã nguồn]

Bộ xác định

[sửa | sửa mã nguồn]

Ý nghĩa tương tự

[sửa | sửa mã nguồn]

Mô hình toán học

[sửa | sửa mã nguồn]

Tối ưu hóa

[sửa | sửa mã nguồn]

Cài đặt

[sửa | sửa mã nguồn]

Ứng dụng phần cứng

[sửa | sửa mã nguồn]

Ứng dụng phần mềm

[sửa | sửa mã nguồn]

Máy và trình biên dịch trạng thái hữu hạn

[sửa | sửa mã nguồn]

Tham khảo

[sửa | sửa mã nguồn]
  1. ^ . ISBN 0-8247-2275-2 https://books.google.com/books?id=W2YLBIdeLIEC&printsec=frontcover&f=false. {{Chú thích sách}}: |title= trống hay bị thiếu (trợ giúp)|tựa đề= trống hay bị thiếu (trợ giúp)

Đọc thêm

[sửa | sửa mã nguồn]

Máy trạng thái hữu hạn trong Lý thuyết khoa học máy tính

[sửa | sửa mã nguồn]

Máy trạng thái trừu tượng trong lý thuyết khoa học máy tính

[sửa | sửa mã nguồn]

Học máy dựa trên thuật toán trạng thái hữu hạn

[sửa | sửa mã nguồn]

Kỹ thuật phần cứng: tối thiểu trạng thái và sự tổ hợp mạch tuần tự

[sửa | sửa mã nguồn]

Chuỗi quá trình Markov hữu hạn

[sửa | sửa mã nguồn]
"We may think of a Markov chain as a process that moves successively through a set of states s1, s2, …, sr. … if it is in state si it moves on to the next stop to state sj with probability pij. These probabilities can be exhibited in the form of a transition matrix" (Kemeny (1959), p. 384)

Finite Markov-chain processes are also known as subshifts of finite type.

Chapter 6 "Finite Markov Chains".

Liên kết ngoài

[sửa | sửa mã nguồn]
Chúng tôi bán
Bài viết liên quan
Cảm nhận về nhân vật Nico Robin
Cảm nhận về nhân vật Nico Robin
Đây là nhân vật mà tôi cảm thấy khó có thể tìm một lời bình thích hợp. Ban đầu khi tiếp cận với One Piece
Nhân vật Yuzuriha -  Jigokuraku
Nhân vật Yuzuriha - Jigokuraku
Yuzuriha (杠ゆずりは) là một tử tù và là một kunoichi khét tiếng với cái tên Yuzuriha của Keishu (傾けい主しゅの杠ゆずりは, Keishu no Yuzuriha).
Giới thiệu truyện: Liệu anh sẽ phải lòng một bộ xương khô chứ?
Giới thiệu truyện: Liệu anh sẽ phải lòng một bộ xương khô chứ?
Anh chàng thám hiểm ngày nọ vào lâu đài cổ thì phát hiện ra bộ xương của công chúa đã die cách đây rất lâu
Chờ ngày lời hứa nở hoa (Zhongli x Guizhong / Guili)
Chờ ngày lời hứa nở hoa (Zhongli x Guizhong / Guili)
Nàng có nhớ không, nhữnglời ta đã nói với nàng vào thời khắc biệt ly? Ta là thần của khế ước. Nhưng đây không phải một khế ước giữa ta và nàng, mà là một lời hứa