Change dfa state access syntax