Pattern-matching automata for efficient evaluation on equational programming | lit.salon