GOTO function and computing DFA states implemented. Not tested.