A language in which to specify Finite State Machines. These machines are then implemented in different languages, and even in different models within those languages, through code generated by fsmlang. Also, a tabular depection of the machine is genera