Trạng thái (khoa học máy tính)

Trong công nghệ thông tinkhoa học máy tính, một chương trình được mô tả là có trạng thái nếu nó được thiết kế để ghi nhớ các sự kiện hoặc tương tác người dùng trước đó;[1] các thông tin được ghi nhớ này được gọi trạng thái của hệ thống.

Tập trạng thái mà một hệ thống có thể lưu giữ được gọi là không gian trạng thái. Trong hệ thống rời rạc, không gian trạng thái là đếm đượchữu hạn, và hành vi hoặc tương tác nội bộ của hệ thống với môi trường bao gồm các hành động hoặc sự kiện riêng lẻ đang xảy ra, chẳng hạn như việc chấp nhận đầu vào hoặc việc xuất kết quả đầu ra, có thể có hoặc không thay đổi trạng thái của hệ thống. Ví dụ về các hệ thống như vậy là các mạch luận lý số, máy tự độngngôn ngữ hình thức, chương trình máy tínhmáy tính. Đầu ra của một mạch số hoặc chương trình máy tính tại bất kỳ thời điểm nào là hoàn toàn xác định bởi đầu vào và trạng thái hiện tại.[2]

Trạng thái của mạch logic số

sửa

Trạng thái chương trình

sửa

Các máy trạng thái hữu hạn

sửa

Ví dụ

sửa

Phân loại trạng thái

sửa

Các trạng thái sau được phân biệt:

  • Trạng thái tương thích là các trạng thái trong máy trạng thái không xung đột với bất kỳ giá trị đầu vào. Như vậy với các đầu vào giống nhau, cả hai trạng thái phải có chung một đầu ra và chung trạng thái kế tiếp (hoặc trạng thái kế tiếp không xác định), hoặc là không thay đổi trạng thái. Các trạng thái tương thích là dư thừa nếu chúng cùng xảy ra trong một máy trạng thái.
  • Trạng thái phân biệt là các trạng thái trong máy trạng thái mà có ít nhất một chuỗi đầu vào tạo ra chuỗi đầu ra khác nhau - cho dù trạng thái bắt đầu là trạng thái nào.
  • Trạng thái tương đương là các trạng thái trong một máy trạng thái, mà với mỗi chuỗi đầu vào có thể, chuỗi các kết quả giống nhau sẽ được tạo ra - cho dù trạng thái bắt đầu là trạng thái nào.

Xem thêm

sửa

Tham khảo

sửa
  1. ^ http://whatis.techtarget.com/definition/stateless
  2. ^ Harris, David Money; Sarah L. Harris (2007). Digital Design and Computer Architecture. USA: Morgan Kaufmann. tr. 103. ISBN 0123704979.