Tools to support transforming tabular representations of state machines into other formats