context-free-language

0열

1답변

문맥 자유 언어 (펌닝 보조 언어^^ b^m c^min (n, m))

다음 문제를 해결하기 위해 애 쓰고 있습니다. 나는 펌핑 보조 정리를 사용해야합니다. {a^n b^m c^min (n, m) | m, n> = 0}은 컨텍스트 프리가 아닙니다.

regular-language proof context-free-language pumping-lemma 2017-11-05

---

1열

3답변

L = {2^x * 2^y * 2^z = 2^(x + y + z)에 대한 문맥없는 문법. x, y, z> 0}

제목에서 설명합니다. "방정식"의 왼쪽을 오른쪽으로 동기화하는 데 문제가 있습니다. 왼쪽에 2를 생성 할 때마다 오른쪽에 하나를 표시해야합니다. 이 언어가 컨텍스트 프리가 아니어도 될까요? 미리 감사드립니다. L = {2^x ∗ 2^y ∗ 2^z = 2^(x+y+z) | x, y, z > 0} 편집 : 이것은 수학 방정식과는 아무 상관이 없습니다. "*"과

context-free-grammar context-free-language 2017-04-30

---

0열

1답변

펌핑 보조 정리를 사용하여 언어가 컨텍스트 프리가 아닌 것을 증명합니까?

저는 L = {a^n!}이라는 언어를 증명하려고합니다. | n> = 0}은 펌핑 보조 정리를 사용하여 컨텍스트 프리가 아닙니다. 하지만 난 uvxyz 자체로 나눌 방법에 붙어있다. 그것의 유일한 symol 때문에 나는 그것을 매우 까다롭게 찾습니다.

context-free-language automata-theory 2017-11-19

---

1열

1답변

이 컨텍스트는 무료입니까?

시작 변수 S가있는 다음 문맥 자유 문법에 의해 정의 된 언어가 {0,1}이면 정규 언어입니까? S → TS, S → 1T, S → 1S T → TT, T → 0T1, T → 1T0 T → ε 이 언어는 정규입니까? 이 언어는 기본적으로 터미널과 변수의 조합이므로 정규 언어 일 수 없습니다. 정규 언어는 오른쪽 또는 왼쪽 선형이어야합니다. 내가 맞습니까,

context-free-grammar context-free-language 2017-01-27

---

-1열

1답변

이 언어는 REGULAR/CONTEXT FREE이지만 REG/Nothing이 아닙니까?

(1) {((a^2)(b^4)ab)^(3k) : k>=0} (2) {a^(2n)b^(3n) : n >= 7} (3) {a^(2n)b^(3n) : n <= 7} 1)이 하나 없음 단서. 2) 3와 달리, N에 제한이없는 원인이 contextFree을 생각) 우리가 finit의 자동화를 구축 할 수 없지만 우리는 문법 구축 할 수 있습니다 : 그것은

context-free-grammar regular-language context-free-language 2017-11-22

---

0열

1답변

2 주에 cfg을 (를) PDG로 변환하는 방법?

컴퓨터 과학 이론에 대한 연구에서 어떤 문제가 있습니다 ... 컨텍스트없는 문법 (cfg)을 해당 푸시 다운 오토 마톤 (pda)으로 변환 할 수있는 알고리즘을 설명 할 수 있습니까?) 상태가 2 개일뿐입니다.

context-free-grammar formal-languages context-free-language 2017-05-08

---

1열

1답변

CFG 제작 규칙은 코드에서 어떤 모습입니까?

거기에 너무 많은 정보가 있지만 이건 정말 내게 멍청한 놈을 도움이되지 않습니다. 문맥없는 언어와 푸시 다운 자동화에 관한 많은 기사를 읽었습니다. 이제 특정 사물이 코드에서 어떻게 보일지 이해하려고합니다. 우리에게 다음과 같은 생성 규칙을주기 L = {am bn | m >= n} : S -> B |^ B -> aBb | A A -> aA | a

parsing grammar context-free-grammar context-free-language 2017-03-22

---

1열

1답변

2 개의 문맥 자유 언어의 문맥 차이가 무료입니까?

인터넷에서 검색 한 결과 대부분이 컨텍스트 무료 언어 이 조합, 연결, 반전 및 Kleene Star 용으로 폐쇄되어 있다고 말합니다. 그들은 또한 세트 차이로 인해 폐쇄되어 있습니까?

set context-free-grammar discrete-mathematics formal-languages context-free-language 2017-05-19

---

3열

1답변

주어진 문법의 정확성을 증명하는 방법은 무엇입니까?

프로그래밍 언어 개발자가 어떻게 문법이 올바른지 검증하고 증명하는지 궁금합니다. 새로운 언어에 대한 새로운 문법을 만들었다 고 가정 해 봅시다. 여러 종류의 테스트 프로그램을 제공함으로써 단위 테스트 도구로 문법을 테스트 할 수 있습니다. 그러나, 나는 결코 나의 문법이 정확하다는 것을 100 % 보장하지 않을 것이다. 언어 개발자는 실제 문법이 올바른지

programming-languages grammar context-free-grammar formal-verification context-free-language 2017-04-10

---

0열

1답변

은 일반, 컨텍스트 무료 또는 기타로 분류됩니다.

누군가가 다음 질문에 대답하고 저에게 바보짓을 할 수 있습니까? 완전히 아이디어를 파악하지 못했습니다. 나는 "정확히 터미널이란 무엇입니까?"와 같은 것에 전반적으로 혼란 스럽습니다. "w는 무엇을 의미합니까?" 여기 실제 질문은 정규식, 문맥없는 것 또는 기타로 분류하십시오. a) {a^nb^na^n} ∩의 수는 짝수입니다. b) (a^NB^N) ∪ 회문

context-free-grammar discrete-mathematics regular-language context-free-language 2017-04-11

---