계산 복잡성 vs. Chomsky 계층

나는 일반적으로 계산 복잡성과 Chomsky 계층 사이의 관계에 대해 궁금합니다.

특히, 어떤 문제가 NP-complete라는 것을 안다면, 그 문제 의 언어 가 문맥에 맞지 않는 것입니까?

예를 들어, 문제가 NP- 완료입니다. 클리 스키가있는 모델에 해당하는 언어는 Chomsky 계층 구조에서 약간의 복잡성을 갖습니다 (모델을 문자열로 인코딩하는 모든 / 일부 방법에 대해)?

Chomsky 계층에는 다음과 같은 네 가지 언어 클래스가 있습니다.

1. $\mathrm{TIME}(n)$$\mathrm{TIME}(o(n\log n))$$\mathrm{SPACE}(0)$$\mathrm{SPACE}(o(\log\log n))$

2. $\mathrm{LOGCFL}$$\mathrm{LOGCFL}$$\mathrm{AC}^1$$\mathrm{P}$

3. $\mathrm{NSPACE}(n)$

4. 무제한 문법-이 클래스는 재귀 적으로 열거 가능한 모든 언어로 구성됩니다.

$\neq$