«formal-grammars» 태그된 질문

사람들은 종종 LR (k) 파서가 LL (k) 파서 보다 강력 하다고 말합니다 . 이 진술은 대부분 모호하다. 특히, 고정 대한 클래스 k케이k또는 모든 대한 결합을 비교해야 k케이k합니까? 상황은 어떻습니까? 특히, 나는 LL (*)이 어떻게 적용되는지에 관심이 있습니다. 내가 아는 한, LL 및 LR 파서가 허용하는 각 문법 세트는 직교이므로 각 …

67 formal-languages  formal-grammars  parsers  reference-question 

결정 론적 푸시 다운 오토 마톤에 의해 수용 될 수있는 경우에만 문맥없는 언어 결정론을 호출하고 그렇지 않으면 비결정론 적이라고하자. 언어를 생성하는 모든 문맥이없는 문법이 모호하고 그렇지 않으면 모호하지 않은 경우에만 문맥이없는 언어를 본질적으로 모호하게하자. 결정적이고 모호하지 않은 언어의 예는 다음과 같은 언어입니다. 비결정적이고 명확한 언어의 예는 다음과 같은 언어입니다. { …

36 formal-languages  automata  formal-grammars  pushdown-automata 

에 있다고 보는 촘스키 계층 구조 유형 3 언어없는 외부 메모리 (즉, 유한 자동 장치)에있어서 A 상태 머신에 의해 2 유형의 상태 머신에 의해 인식 될 수있는 하나의 스택 (즉, 기계적 푸시 다운)에 의해 0을 입력 두 개의 스택 (또는 Turing Machine의 경우와 마찬가지로 테이프)이 있는 상태 머신 의 경우 …

34 formal-languages  applied-theory  computability  automata  formal-grammars 

Context-Free Grammar가 무엇인지에 대한 온라인 정의가 많이 있지만, 내가 찾은 것은 내 주요 문제를 만족시키지 않습니다. 어떤 맥락에서 자유롭습니까? 조사하기 위해 "문맥 인식 문법"을 Google로 검색했지만 여전히 "문맥"이 무엇인지 찾지 못했습니다. 누군가이 context이름에서 그 용어가 무엇을 의미 하는지 설명해 주 시겠습니까?

30 terminology  context-free  formal-grammars 

나는 잠시 동안 컴파일러를 연구 해 왔고, 문법에서 "문맥"의 의미와 문법이 "문맥이없는"의미를 의미하지만 결과는 없습니다. 그래서 누구든지 이것을 도울 수 있습니까?

29 terminology  context-free  formal-grammars 

한 쌍의 세트가 있습니다. 각 쌍은 x, y가 범위의 정수에 속하도록 (x, y) 형식 [0,n)입니다. 따라서 n이 4이면 다음 쌍이 있습니다. (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) 이미 쌍이 있습니다. 이제 n/2정수를 반복하지 않도록 쌍을 사용하여 조합을 만들어야합니다 (즉, 각 정수는 적어도 마지막 조합에서 한 번 이상 나타납니다). 다음은 더 …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

있습니다 많은 기술 언어임을 증명 하지 문맥 자유는 있지만, 어떻게 언어는 것을 증명 할 것이다 문맥 자유? 이것을 증명하기 위해 어떤 기술이 있습니까? 분명히, 한 가지 방법은 언어에 대해 문맥이없는 문법을 보여주는 것입니다. 주어진 언어에 대해 문맥이없는 문법을 찾는 체계적인 기술이 있습니까? 일반 언어의 경우,이 있는 체계적인 방법으로 일반 문법 …

26 formal-languages  context-free  formal-grammars  proof-techniques  reference-question 

내 문제는 문법이 명확하다는 것을 어떻게 증명할 수 있는가? I는 다음의 문법을 가지고 S→statement∣if expression then S∣if expression then S else SS→statement∣if expression then S∣if expression then S else SS → statement ∣ \mbox{if } expression \mbox{ then } S ∣ \mbox{if } expression \mbox{ then } S \mbox{ else …

25 context-free  formal-grammars  proof-techniques  ambiguity 

회 문의 언어 인 EPAL은 다음과 같은 명확한 문맥없는 문법에 의해 생성 된 언어로 정의됩니다. S→aaS→aaS \rightarrow a a S→bbS→bbS \rightarrow b b S→aSaS→aSaS \rightarrow a S a S→bSbS→bSbS \rightarrow b S b EPAL은 많은 파싱 알고리즘의 '베인'입니다. 언어를 설명하는 문법을 파싱 할 수있는 명확한 CFG에 대한 파싱 알고리즘은 아직 …

23 formal-languages  formal-grammars  parsers 

공식 문법을 제공하여 공식 언어를 지정하는 것은 빈번한 작업입니다. 언어를 설명 할뿐만 아니라 언어를 구문 분석하거나 적절한 과학을 수행 하기 위해서는 문법이 필요합니다 . 모든 경우에 필요한 문법이 정확해야합니다 . 즉, 원하는 단어를 정확하게 생성하는 것입니다. 문법이 왜 원하는 언어를 적절히 표현하고 공식적인 증거를 생략했는지에 대한 높은 수준의 논쟁을 종종 …

22 formal-languages  formal-grammars  proof-techniques  reference-question 

이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . 문법 계층뿐만 아니라 일반적인 언어 (문자열 집합)를 설명하는 수학적 이론을 찾고 있습니다.

22 formal-languages  formal-grammars 

이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 6 년 전에 이주했습니다 . 컴파일러 디자인에서 왜 문법에서 왼쪽 재귀를 제거해야합니까? 나는 그것이 무한한 재귀를 일으킬 수 있기 때문에 읽히고 있지만 올바른 재귀 문법에도 해당되지 않습니까?

20 formal-grammars  compilers  left-recursion 

하자 생각이 문맥 자유 문법 및 G 2 다음과 같은 질문 : IS L ( G 1 ) = L ( G 2 ) , 두 문법이 동일합니까?지1지1G_1지2지2G_2패 ( G1) = L ( G2)엘(지1)=엘(지2)L(G_1) = L(G_2) 일반적으로이 문제는 결정할 수 없습니다. 그러나 과 G 2 가 모두 왼쪽 선형 (또는 …

19 formal-languages  context-free  formal-grammars 

이 Wikipedia 기사 에 따르면 무제한 문법은 튜링 머신과 동일합니다. 이 기사에서는 Turing 기계를 무제한 문법으로 변환 할 수 있지만 문법을 Turing 기계로 변환하는 방법 만 보여줍니다. 실제로 어떻게 언어 을 인식하는 Turing 기계를 무제한 문법으로 변환합니까? 전환 규칙을 문법 규칙으로 바꾸려고했지만 튜링 머신은 다양한 상태 구성을 가질 수 있습니다.LLL

19 formal-grammars  turing-machines  simulation 

문맥없는 문법에 다음과 같은 오토 마톤의 "죽은 상태"가 포함될 수 있습니다 G=({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G=({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G = \big(\{a, b, c\}, \{A, B, C\}, \{A\to aB, B\to b, B\to C, C\to cC\}, A\big)\,? 생산 규칙 및 는 영원히 반복되며 단어를 생성하지 않습니다. 이것이 허용되거나 생산 규칙이 어느 시점에서 터미널로 끝나야합니까?C → c CB→CB→CB\to CC→cCC→c씨C\to cC

18 context-free  automata  formal-grammars