Generator  of state machines that accept the same language of a given regular expression.