New answers tagged space-complexity
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 ...
- 2,240
Top 50 recent answers are included