Updated precedence DFA documentation