The current FSM (finite state machine) state. FSM Máy trạng thái hữu hạn (Finite State Machine)
We do this by using a finite state machine (FSM). Hãy xét cách làm này cho một Máy Trạng thái Hữu hạn (Finite State Machine, FSM)
A finite-state machine, or FSM for short, is a model of computation based on a hypothetical machine made of one or more states. Một cỗ máy trạng thái hữu hạn, hoặc FSM, là một mô hình tính toán dựa trên một cỗ máy giả định được tạo thành từ một hoặc nhiều trạng thái.
An state machine is defined by a list of its states, its initial state, and the conditions for each transition. 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.
An FSM is defined by a list of its states, its initial state, and the conditions for each transition. 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.
In particular, he introduced a model of computation called X-machine and a new prime decomposition algorithm for finite state machines in the vein of Krohn–Rhodes theory. Đặc biệt, ông giới thiệu một mô hình tính toán gọi là Cỗ máy X và một thuật toán phân tách nguyên tố mới cho các máy trạng thái hữu hạn trong tĩnh mạch của Thuyết Krohn-Rhodes.
Stateflow uses a variant of the finite-state machine notation established by David Harel, enabling the representation of hierarchy, parallelism and history within a state chart. Stateflow sử dụng một biến thể của ký hiệu máy trạng thái hữu hạn do David Harel thiết lập, cho phép biểu diễn hệ thống phân cấp, song song và lịch sử trong biểu đồ trạng thái.
This motivates the study of testing finite state machines to ensure the correct functioning of systems and to discover aspects of their behavior. Điều này thúc đẩy việc nghiên cứu các phương pháp kiểm thử các máy trạng thái hữu hạn để khám phá các khía cạnh của hành vi của chúng và để đảm bảo chức năng chính xác của hệ thống.
A finite-state machine (FSM) or finite-state automaton, finite automaton, or simply a state machine, is a mathematical model of computation. 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.
In 1936, Alan Turing introduced the Universal Turing machine—a theoretical device that can model every computation that can be performed on a Turing complete computing machine.[6] It is a finite-state machine that has an infinitely long read/write tape. Năm 1936, Alan Turing đã giới thiệu thiết bị lý thuyết Universal Turing machine Có thể mô hình hóa mọi tính toán có thể được thực hiện trên một máy tính hoàn chỉnh Turing.[9] Đây là một máy trạng thái hữu hạn có băng đọc / ghi dài vô hạn.
