Distributed event stream processing with non-deterministic finite automata