어떤 정규식

다음과 같은 문제는 PSPACE-complete라는 것이 잘 알려져 있습니다.

정규식 감안 , 수행 ?L ( β ) = Σ $\beta$$L(\beta) = \Sigma^*$

어떤 다른 (고정) 정규 표현식 동등성을 확인하는 방법에 대한 ?$\alpha$

정규 표현식을 감안할 때 , 수행 ?L ( β ) = L ( α $\beta$$L(\beta) = L(\alpha)$

다음이 알려져 있습니다.

• 들면 문제는 PSPACE-완료$\alpha = (0+1)^*$

• 들면 , 또는보다 일반적 유한 세트를 설명하는 문제를 다항식 시간 decidable이다.$\alpha = \emptyset$$\alpha$

가 단항 언어 인 경우 문제는 P에있는 것 같습니다 .$\alpha$

그래서 내 질문은 :

위의 결정 문제가 PSPACE-complete 인 는 무엇입니까? 완전한 특성이 있습니까?$\alpha$

의사 결정 문제에 NP 완료와 같은 중간 복잡성 이있는 가 있습니까?$\alpha$

이 질문은 [1]의 섹션 2에서 다루어지며, (Theorem 2.6)은 문제가

• $L(\alpha)$
• $L(\alpha)$$L(\alpha)\subseteq w_1^*w_2^*\ldots w_k^*$$w_1,\ldots, w_k$
• 그렇지 않으면 PSPACE-complete입니다.

[1] Harry B. Hunt, Daniel J. Rosenkrantz, Thomas G. Szymanski, 동등하고 맥락이없는 언어에 대한 동등성, 격리 및 문제 다루기, Journal of Computer and System Sciences, Volume 12, Issue 2, 1976 , 페이지 222-268, ISSN 0022-0000, http://dx.doi.org/10.1016/S0022-0000(76)80038-4 . ( http://www.sciencedirect.com/science/article/pii/S0022000076800384 )