The current state-of-the-art model is based on reinforced learning using the (in)equivalence of two regular expressions.
stockmeyer and Meyer (1973) showed that it is PsPACE-complete to decide if two regular expressions generate the same set of words.