A regular expression recognizer implemented as a Non-Deterministic Finite Automota