limited amount of characters in state label
transition labels default to first character in alphabet