A hyphen in the nextstate symbol means the same state from which the current transition originates, see example below:

This is particularly useful when the originating state symbol contains a list of state names or an asterisk state.

Contact the webmaster with questions or comments about this web site.
Copyright © 1997-May, 2013 SDL Forum Society