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

Specification for some small FSAs.
 (The "laughing machines")

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


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

Deterministic.
Use recognize or recognize1 to run.

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

start(a1,1).

final(a1,4).

trans(a1,1,2,h).
trans(a1,2,3,a).
trans(a1,3,4,!).
trans(a1,3,2,h).



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

Contains a jump arc. 
Use recognize to run.

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

start(a2,1).
 
final(a2,4).

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



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

Non-deterministic.
Use recognize or recognize1 to run.

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


start(a3,1).

final(a3,4).

trans(a3,1,2,h).
trans(a3,2,3,a).
trans(a3,3,4,!).
trans(a3,2,1,a).
