fsl

Finite State Language specification and definition