Match lazily when running automata