Abstract :
This paper proves a conjecture of Meyer and Stockmeyer, that the equivalence problem of regular expressions over one letter alphabets, with the operations of union, concatenation, Kleene star, negation and squaring, is solvable in elementary time and space. This is done by reduction of this problem to Presburger Arithmetic, making use of an algorithm presented by Oppen.
