redone: small fixes
tests: bench: pathological: make test more representative
redone: added DFA and determinisation algorithm