/******************************************

Specification for a small FSA.

Contains a jump arc. 
Use recognize2 to run.

*******************************************/

initial(1).
 
final(4).

arc(1,2,h).
arc(2,3,a).
arc(3,4,!).
arc(3,1,'#').