Jan Antos, Borivoj Melichar: Backward pattern matching automaton. PSC 2005: 81-94