«context-free» 태그된 질문

문맥이없는 언어 L이 규칙적임을 암시하는 조건의 목록을 수집하는 것이 좋을 것입니다. 특성 P는 정규 언어를 생성하는 CFG를 특성화하지 않아도됩니다. 또한, P는 결정 가능할 필요가 없으며, 문맥 상 언어가없는 언어 ( "L의 구문 단일체는 유한하다", "L은 공간 o (log log n)에서 결정할 수있다")에 따라 "어떻게 의존해야"하는가? 에, 내가 찾고있는 것이 아닙니다).

14 reference-request  fl.formal-languages  regular-language  context-free  survey 

다음과 같은 자연적인 질문을 고려해 유한 언어 감안할 때 , 가장 작은 문맥 자유 문법 생성 무엇 L은 ?엘엘L엘엘L 우리는 언어의 순서 지정하여 질문을 더 재미있게 만들 수 있습니다 , 예를 들어 대한 L N 의 모든 순열의 집합입니다 { 1 , ... , N } : 직관적위한 CFG L …

14 reference-request  fl.formal-languages  lower-bounds  grammars  context-free 

최근 질문을 읽은 후에 "의 보완 {www∣...}{www∣...}\{ www \mid ...\} 문맥 자유?" ; 나는 반증 할 수 없었던 비슷한 문제를 기억했다. L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L = \{ ww' \mid w,w' \in \{0,1\}^* \land |w|=|w'| \land HamDist(w,w')>1 \} 입니까? ∗ ∧ | 승 | = | w ' | ∧ H a m D …

13 fl.formal-languages  context-free 

나는 모든 만족할 수있는 명제 논리 공식, SAT 의 언어를 고려하고 있습니다 (이것은 유한 알파벳을 갖기 위해 우리는 명제 문자를 적절한 방법으로 인코딩 할 것입니다 . [편집 : 대답은 질문에 대한 대답이 강력하지 않을 수 있다고 지적했습니다 다양한 인코딩으로 인해 더 구체적이어야합니다-아래 내 결론 참조] ). 내 간단한 질문은 가 …

12 cc.complexity-theory  circuit-complexity  sat  context-free 

Greibach 유명 언어 정의 소위 결정적 버전 의 D 2 어떤 CFL의 역수가 형태 적 화상이되도록, H를 . DCFL에 대해 비슷한 형태가 존재하며, 허용되는 형태에 대한 제한이 있습니까?HHH디2D2D_2HHH (예 : M. Autebert, J. Berstel 및 L. Boasson. 문맥없는 언어 및 푸시 다운 오토마타 참조. R. Rozenberg 및 A. Salomaa, 편집자, …

12 fl.formal-languages  open-problem  context-free  nondeterminism  hard-instances 

반다이 크 언어 는 다음의 문법에 의해 정의되는 S → S S를Dyck(k)Dyck(k)\mathsf{Dyck}(k) 심볼들의 세트를 통해 { ( 1 , ... , ( K , ) 1 , ... , ) (K) } . 직관적으로 Dyck 언어는 k 가지 종류의 균형 괄호 언어입니다. 예를 들어, (S→SS|(1S)1|…|(kS)k|ϵS→SS|(1S)1|…|(kS)k|ϵ S \rightarrow SS \,|\, (_1 …

12 reference-request  fl.formal-languages  circuit-complexity  ho.history-overview  context-free 

{ w w ∣ w ∈ Σ ∗ }{ww∣w∈Σ∗}\{ ww \mid w\in \Sigma^*\} 의 보수 는 문맥이없는 것으로 잘 알려져있다 . 그러나 { w w w ∣ w ∈ Σ ∗ }{www∣w∈Σ∗}\{ www \mid w\in \Sigma^*\} 의 보완은 어떻습니까?

12 fl.formal-languages  context-free 

다음 주장이 사실임을 이해합니다. 주어진 CFG에서 문자열의 두 가지 별개의 파생은 때때로 동일한 구문 분석 트리를 문자열에 부여 할 수 있습니다. 다른 구문 분석 트리를 나타내는 특정 CFG에 일부 문자열의 파생이 있으면 CFG가 모호합니다. 모호한 CFG에 의해 생성 된 일부 컨텍스트가없는 언어도 모호하지 않은 CFG에 의해 생성됩니다. 어떤 언어들은 그것들을 …

11 fl.formal-languages  regular-language  context-free 

숫자 을 주자. 다음 언어를 고려하십시오. .L n = {nnnLn={ww|w∈{0,1}n}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} 즉, 은 길이 의 복사 문자열 세트입니다 . 2 nLnLnL_n2n2n2n 다음을 고려 상태 복잡성 함수 되도록 인식 작은 푸시 된 자동 상태의 수이다 .(S) ( N ) L의 …

10 fl.formal-languages  automata-theory  grammars  context-free 

수학적 분석, 연속 수학을 사용하여 공식 언어 문제를 해결 한 결과가 있는지 여부 예를 들어, 문맥이없는 언어와 일반 언어에 대한 교차 비 공백 문제를 해결합니다.

9 fl.formal-languages  automata-theory  context-free 

알파벳 대한 임의의 문맥이없는 문법 를 고려하십시오 . 이 문법의 제작에 두 개의 고정 된 문맥에 맞지 않는 제작 : 및 . 결과 문법 를 " 제작 보완 된 "를 나타냅니다.GGG{0,1,0¯¯¯,1¯¯¯}{0,1,0¯,1¯}\lbrace 0,1,\overline{0} ,\overline{1} \rbracePPP0¯¯¯0→ϵ0¯0→ϵ\overline{0} 0 \rightarrow \epsilon1¯¯¯1→ϵ1¯1→ϵ\overline{1} 1 \rightarrow \epsilonGPGPG^PGGGPPP 이것은 문법 얻어 알고리즘 수득 가능 , 문자열은 위에 및 …

9 context-free  decidability 

모호한 CFG와 모든 CFG 의 비율은 무엇입니까 ? 두 세트 모두 셀 수없이 무한하기 때문에 비율이 잘 정의되어 있지 않습니다. 그러나 점근 밀도 는 어떻 습니까 ? 임n ↦ ∞# 크기 모호한 CFG < N# 크기 CFG < Nlimn↦∞# ambiguous CFG of size<n# CFG of size<n\lim_{n \mapsto \infty}\frac {\# \text{ …

9 fl.formal-languages  grammars  context-free 

문맥없는 언어를 인식하기 위해 결정적이지 않은 푸시 다운 오토마타 (DPA = NPDA) 만 작동하는 이유를 알고 싶습니다. 결정 론적 푸시 다운 오토마타 (DPDA)가 왜 그런 언어를 인식하지 못합니까?

9 fl.formal-languages  automata-theory  context-free 

순열이 있습니까 π1,π2π1,π2\pi_1,\pi_2 다항식 크기 | 승 | =n|w|=n|w|=n유한 언어를 설명하는 문맥 자유 문법 { 승π1( w )π2( w ) }{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\} 알파벳 이상 { 0 , 1 }{0,1}\{0,1\}? 업데이트 : 한 순열 ππ\pi 것이 가능하다. ππ\pi 반전의 반전 또는 비교적 작은 수정입니다.

9 fl.formal-languages  grammars  context-free