Transitions

Lists each source state, its corresponding destination state, and the transition equation. You can edit the transition equation.