Space-time tradeoff in regular expression matching with semi-deterministic finite automata