Title :
The equivalence problem for regular expressions with squaring requires exponential space
Author :
Meyer, A.R. ; Stockmeyer, L.J.
Keywords :
Magnetic heads; Polynomials; Space technology; Turing machines;
Conference_Titel :
Switching and Automata Theory, 1972., IEEE Conference Record of 13th Annual Symposium on
Conference_Location :
USA
DOI :
10.1109/SWAT.1972.29
