Distinguished path = epsilon for string_of_state.