«context-sensitive» 태그된 질문

컴퓨터 계산 모델을 고려할 때, Chomsky 계층 구조는 일반적으로 유한 자동 마타, 푸시 다운 자동 마타, 선형 바운드 자동 마타 및 튜링 머신으로 구성됩니다. 첫 번째 수준과 마지막 수준 1 (일반 언어 및 재귀 적으로 열거 가능한 언어)의 경우 결정적 또는 비 결정적 기계를 고려하는지 여부, 즉 DFA가 NFA와 같고 …

21 formal-languages  computability  context-free  computation-models  context-sensitive 

상황에 맞는 문법을 이해하려고합니다. 언어가 왜 그런지 이해합니다 { w w ∣ w ∈ A※}{ww∣w∈A∗}\{ww \mid w \in A^*\} {엔비엔씨엔∣ n ∈ N }{anbncn∣n∈N}\{a^n b^n c^n \mid n\in\mathbb{N}\} 문맥에 자유롭지는 않지만 비 유형 람다 미적분과 유사한 언어가 문맥에 민감한 지 알고 싶습니다. 나는 단순하지만 장난감이 아닌 예제 (위의 장난감 예제를 …

12 formal-grammars  programming-languages  lambda-calculus  context-sensitive 

문맥 인식 언어에 대한 Wikipedia 정의를 살펴 보았는데 이것을 발견했습니다. 각 언어 범주는 바로 위에있는 범주의 적절한 하위 집합입니다. 각 범주의 모든 자동 및 문법은 바로 위의 범주에서 동등한 자동 또는 문법을 갖습니다. 선형 경계 오토 마톤이 기사의 주문에서 결정자 바로 아래에 있음을 알 수 있습니다. 이 경우 LBA의 모든 …

12 formal-grammars  turing-machines  undecidability  context-sensitive 

사실 나는 상황에 맞는 언어들이 CSLCSL\mathbf{CSL} (=NSPACE(O(n))=LBA=NSPACE(O(n))=LBA\mathbf{=NSPACE(O(n)) = LBA} 허용되는 언어)는 널리 논의되지 않습니다. REGREG\mathbf{REG} (일반 언어) 또는 CFLCFL\mathbf{CFL}(문맥이없는 언어). 또한 열린 문제DSPACE(O(n))=?NSPACE(O(n))DSPACE(O(n))=?NSPACE(O(n))\mathbf{DSPACE(O(n))} =^{?} \mathbf{NSPACE(O(n))} "아날로그"문제만큼 유명하지는 않습니다. "P=?NPP=?NP\mathbf{P} =^{?} \mathbf{NP}". 글쎄, 정말 그런 비유가 있습니까? 언어가 있습니까 CSLCSL\mathbf{CSL} 에있을 수없는 DSPACE(O(n))DSPACE(O(n))\mathbf{DSPACE(O(n))} (처럼 N PNP\mathbf{NP} 완전한 언어)? 또한 : 언어가 …

10 complexity-theory  np-complete  space-complexity  context-sensitive 

다음 언어를 설명하는 상황에 맞는 문법을 찾고 있습니다. L={ww∣w∈{a,b}∗,|w|≥1}L={ww∣w∈{a,b}∗,|w|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} . 과 같은 규칙이 없다는 사실에 문제가 있습니다.X→εX→εX \to \varepsilon 은 허용되지 않으므로 단어의 "중간"을 나타내는 비 터미널을 배치 할 수 없다는 있습니다. 문제에 대한 트릭이 있습니까?

9 formal-languages  formal-grammars  context-sensitive