Relational deterministic finite automaton interpreter