StateAlphabet uses FrozenOrderedDict for its look-up tables