이하자 ○ : L = {A, B N미터 O C | <미터 < O, N} 천연 I가 선택이 끝난 한 보조 정리를 펌핑하여 N : Z = uvwxy N = A B N + 1 C N + 2 | 자외선 | < = n 및 | V |> 0 => 자외선 2 WX 2 Y VWX이의 및/또는 b의 인 경우는 괜찮 우리는 C 년대에 비해 더의 및/또는 B의있을 것입니다 -하
무료 컨텍스트를 재생성 L= { a^i b^j c^k | i, j, k ≥ 0 , i = j or i = k } 나는 이미 무엇을 가지고 : S : X | Y
X : TC
T : aTb | ԑ
C : cC | ԑ
Y : aYc | F
F : bF | ԑ
하지만 문법이 모호, 그것은 동일한 번호를 가진 문자열을 인식 할 수 a, b, c의 두 가
문맥이없는 언어와 결정 론적 문맥을위한 자유 언어에 대해 결정할 수있는 인 문제점을 나열 할 수 있습니까? 스택 오버플로 및 위키에서 결정할 수없는 문제 목록에 대한 정보를 얻었지만 CFG 나 DCFG와는 관련이 없습니다. 이 문제 목록 (교정본/링크 포함)은 그러한 문제를 찾는 사람들에게 매우 도움이 될 수 있습니다.
2 개의 문맥 자유로운 언어 (L = L1 ∩ L2)의 교회법을 얻는 방법을 이해하는 데 문제가 있습니다. L1 = {a^i b^i c^j | i,j ≥0}
L2 = {a^i b^j c^j | i,j ≥0}
L1 ∩ L2 = {a^i b^i c^i | i ≥0}
하지만이 같은 예에 대해 : 내가 어디 매우 일반적인 예를 본 적이 L1 = {a^i b
그래서이 언어는 L={a^i b^2j+1/i<>j}이고 문맥을 기반으로 문법을 생성해야합니다. 문법을 기반으로 문법을 생성해야합니다. 그 단계를 설명하는 데 나를 도울 수 있습니까? 지금까지 나는이 있습니다 S-->aS/aBbb
B-->bB/b/e(empty)
을하지만 난 그게 맞다면, 내가 그것을 이해하는 데 도움이 바랍니다 모르겠습니다.