Labeled Transition System
178
浏览
0
关注

In theoretical computer science, a state transition system is an abstract machine used in the study of computation. The machine consists of a set of state (computer science)|states and transitions between states, which may be labeled with labels chosen from a set; the same label may appear on more than one transition. If the label set is a Singleton (mathematics)|singleton, the system is essentially unlabeled, and a simpler definition that omits the labels is possible. State transition systems coincide mathematically with abstract rewriting systems (as explained further in this article). State transition systems differ however from finite state automata in several ways: * In a state transition system the set of states is not necessarily finite, or even countable. * In a state transition system the set of transitions is not necessarily finite, or even countable. * A finite-state automaton distinguishes a special start state and a set of special final states. State transition systems...
[展开]
主要的会议/期刊
演化趋势
Chart will load here
Labeled Transition System文章数量变化趋势

Feedback
Feedback
Feedback
我想反馈:
排行榜