Example of an FSM which reads description from a file: machine Source File

00001 #
00002 # file   : machine
00003 #
00004 # purpose: Description of a state machine
00005 #
00006 # date   : August 17, 2005
00007 #
00008 # Copyright (c) Sergey Satskiy 2005
00009 #
00010 
00011 start        S1
00012 states       S1,        S2,        S3,        S4
00013 event( E1 )  S2,        S3,        S4,        S1
00014 event( E2 )  S3,        S4,        S1,        S2
00015 event( E3 )  NONE,      EXCEPTION, NONE,      EXCEPTION
00016 event( E4 )  EXCEPTION, NONE,      EXCEPTION, NONE
00017 
00018