Properties of Transition System in Automata
A transition graph or a transition system is a finite directed labeled graph in which each vertex (or node) represents a state and the directed edges. It indicates that the transition of a state and the edges are labeled with input-output. A typical transition system is shown below in Fig:
In the above figure, the initial state is represented by a circle with an arrow pointing towards it, the final state by two concentric circles, and the other states are represented by just a circle.
A transition system is a 5-tuple (Q, ∑, δ, Q0, F), where –
- i. Q, ∑ and F are the finite non-empty set of states, the input alphabet, and the set of final states, respectively, as in the case of finite automata.
ii. Q0 ⊆ Q. and Q0 is non-empty: and
iii. δ is a finite subset of Q x ∑* x Q.