New answers tagged

1 vote

Show Recognizing two Regular Expressions as equal is in PSPACE

A good account of this result is in the lecture notes of Dexter Kozen, although the original work of Meyer and Stockmeyer contains a refined space bounds. You may consult that version in Stockmeyer's ...
user1868607's user avatar
  • 2,240

Top 50 recent answers are included