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

Specification for a small FSA.

Use recognize1 or recognize2 to run.

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

initial(1).

final(4).

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