Title: Pattern-matching automata for efficient evaluation on equational programming