context-free-grammar

1열

1답변

문맥 자유 문법 (context free grammar)의 경우, 동등한 푸시 다운 오토 마톤으로 변환하려면 어떻게해야합니까?

시작 변수 S가있는 Σ = {0, 1, 2}에 대한 문맥없는 문법 G : S → 0S0 | 1S1 | 2S2 | Y Y는 → (22)는 어떻게 동등한 푸시 다운 오토마타

context-free-grammar automaton pushdown-automaton 2017-04-01

---

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

---

0열

1답변

문법을 증명하는 방법은 모호합니까?

나는 문법에 익숙하지 않고 누군가가 파스 트리를 사용하여 아래 문법이 모호한 것을 어떻게 결정할 수 있는지 궁금해하고있다. 내가 만들 수있는 두 개의 다른 문자열이 필요하다는 것을 알고 있습니다. S -> (S)|SS|() 나는 데프 정상적인 형태와 greibach을 촘스키로 변환 할 수 있지만, 모호함이 저를 당혹이다.

grammar context-free-grammar 2017-04-13

---

0열

1답변

문맥 자유 문법 팁

문맥 자유 문법에 대한 제 연구에서이 문제를 보았습니다.이 영어 문장의 생산 규칙을 ​​얻는 방법을 모릅니다. 언어 L은 다음과 같이 정의됩니다. "{a, b} * 이상의 모든 홀수 길이 문자열 중간 기호 a."

grammar context-free-grammar 2017-04-21

---

0열

1답변

표현식을 사용하여 Bitwise 연산자로 문법이 모호하다는 것을 나타내는 방법 a >> b^c

이 질문을 해결하려고하지만 실제로 시작하는 방법을 모르겠습니다. 나는 약간의 도움에 감사 할 것입니다. 언어에 대한 비트 연산자는 문법과 함께 아래 표에 표시됩니다. 연산자와 문법 규칙은 우선 순위가 가장 높은 순서대로 순서가 지정됩니다. 문자 a, b 및 c는 해당 언어의 터미널을 나타냅니다. 문법 테이블 : 문법 모호하여 표현임을 확인 : >> B가 모

grammar context-free-grammar ambiguous-grammar 2017-04-22

---

0열

2답변

cfg 파서에서 왼쪽 재귀를 해결하려면 어떻게해야합니까?

어떻게이 왼쪽 재귀를 해결할 수 있습니까? 나는 해결책을 찾는 데 오랜 시간이 걸렸지 만 나는 그것에 투쟁한다. 문장 : Bob은 Max 자동차를 제공합니다. 여기서 보여주고 싶은 요점은 발생하는 왼쪽 재귀입니다. 어떤 NP -> NP, 어떻게이 문제를 해결할 수 있습니까? 지금 python3에서이 코드를 실행하면 충돌이 발생합니다. import nltk.

python python-3.x nltk context-free-grammar left-recursion 2017-04-30

---

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

---

1열

1답변

이것이 내 문법을 모호하게 만들 것입니까?

확인 내가 다음과 같은 문법 <Exp> -> <Term> <EXp> -> <Term> {<AddOp> <Exp>} <Term> -> <Factor> {<MultOp> <Term>} <Factor> -> <id> | <no> | (<Exp>) 것은 내부 {} 선택 사항이 있다고 할 수 있습니다. 그래서 기술적으로는 용어 - 용어 또는 요소 -를 가질

context-free-grammar 2017-05-01

---

1열

2답변

CFG를 Turing Machine으로 변환하는 방법

CFG를 TM으로 변환하려면 어떻게해야합니까? DFA를 TM으로 변환하는 방법에 대한 기본적인 아이디어가 있지만이 작업을 올바르게 수행하는 방법은 생각할 수 없습니다. 여기에 몇 가지 일반적인 구현 단계를 사용할 수 있습니까?

theory context-free-grammar turing-machines 2017-05-02

---