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

Specification for a small, non-deterministic FSA.

Use recognize1 or recognize2 to run.

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


initial(1).

final(4).

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