removed FSM empty alphabet constructor