Syntax checking and highlighting of states and transitions labels

[davidebasile]

Syntax checking and highlighting of state and transitions labels

[davidebasile]

the syntax checking helps when characters '[' ']' ',' are not used as expected