«formal-grammars» 태그된 질문

최근 컴파일러 디자인에 대해 공부하고 있습니다. 두 가지 유형의 문법에 대해 알게되었습니다. 하나는 LL 문법이고 다른 하나는 LR 문법입니다. 또한 모든 LL 문법이 LR이고 LL 문법 인 LR 문법의 적절한 부분 집합이라는 사실도 알고 있습니다. 첫 번째는 하향식 구문 분석에 사용되고 두 번째는 상향식 구문 분석에 사용됩니다. 그러나 주어진 문법이 …

12 formal-grammars  compilers  parsers  lr-k  ll-k 

이것은 드래곤 북의 질문입니다. 이것은 문법입니다 : S→AaAb∣BbBaS→AaAb∣BbBaS \to AaAb \mid BbBa A→εA→εA \to \varepsilon B→εB→εB \to \varepsilon 질문은 그것이 LL (1)이지만 SLR (1)이 아님을 표시하는 방법을 묻습니다. 그것이 LL (1)임을 증명하기 위해 파싱 테이블을 구성하려고 시도했지만 셀에서 여러 프로덕션을 얻습니다. 이는 모순입니다. 이 LL (1)이 어떻고 그것을 증명하는 방법을 …

12 formal-grammars  compilers  parsers 

이것은 Dragon book의 질문입니다 (번역 실수로 사과드립니다. 영어 버전은 없습니다). 이 문법으로 어떤 언어가 생성됩니까? 에스→ Sb S∣ b SS∣ ϵ에스→ㅏ에스비에스∣비에스ㅏ에스∣ϵS \rightarrow a S b S \mid b S a S \mid \epsilon 내가 여기서 무엇을해야하는지 모르겠습니다. 언어에 대한 책의 정의는 이것을 말합니다 (그리고 그것은 장에서 거의 같습니다). 언어는 구문 …

11 formal-languages  context-free  formal-grammars 

직장에서 나는 동적 언어에 대한 몇 가지 유형 정보를 유추하는 임무를 맡았습니다. 다음 let과 같이 일련의 명령문을 중첩 된 표현식 으로 다시 작성합니다 . return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

다음 언어가 있습니다 {0i1제이2케이∣ 0 ≤ i ≤ j ≤ k }{0나는1제이2케이∣0≤나는≤제이≤케이}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} 어떤 Chomsky 언어 클래스가 적합한 지 결정하려고합니다. 상황에 맞는 문법을 사용하여 어떻게 만들 수 있는지 알 수 있으므로 상황에 맞는 것이 거의 없습니다. 문맥이없는 문법으로는 불가능할 것 …

11 formal-languages  context-free  formal-grammars  pumping-lemma 

누군가가 와 (순서대로) 를 시도하는 역 추적 기능이있는 재귀 적 하강 파서가 문법 의해 형성된 언어를 인식하지 못하는 이유를 누군가에게 ?S → a a S → a S a | 에스→ SㅏS→aSaS \rightarrow aSa에스→S→aaS \rightarrow aa에스→ S| S→aSa | aaS \rightarrow aSa\ |\ aa 언어의 단어 만 구문 분석하는 것으로 …

10 context-free  formal-grammars  compilers  parsers 

최근 에 제목에서 언급 한 파싱 기술을 설명 하는 논문을 보았습니다 . 불행히도,이 논문에 사용 된 용어는 제 이해력을 뛰어 넘는 것이므로 구성 알고리즘을보다 직관적으로 파악하려고 노력하고 있습니다. 나는 내가 성공했다고 생각한다 ( 이 프리젠 테이션 은 아하 순간의 원천이었다). 그러나 기술이나 그 안에 포함 된 용어에 익숙한 누군가의 정확성에 …

10 algorithms  formal-grammars  context-free  parsing 

튜링 머신과 제한되지 않은 문법은 RE 언어를 정의하는 두 가지 다른 형식입니다. 일부 RE 언어는 결정 가능하지만 모든 언어는 아닙니다. 언어의 모든 문자열을 중지하고 허용하고 언어가 아닌 모든 문자열을 중지 및 거부하는 언어에 대한 TM이있는 경우 언어를 결정할 수 있다고 말함으로써 Turing 기계로 결정 가능한 언어를 정의 할 수 있습니다. …

10 computability  turing-machines  formal-grammars 

하자 단말기들의 집합 일부 문맥 자유 문법의 비 - 터미널 심볼의 세트 .N GΣΣ\SigmaNNNGGG I는 캐릭터가 말 되도록 및 의 형태이다 sentential . x a y ∈ S ( G ) x , y ∈ ( Σ ∪ N ) ∗ S ( G ) Ga∈(Σ∪N)+a∈(Σ∪N)+a \in (\Sigma \cup N)^+xay∈S(G)xay∈S(G)x …

10 algorithms  context-free  formal-grammars  compilers 

내 독서에서 대부분의 문법은 무한한 수의 문자열을 생성하는 데 관심이있는 것 같습니다. 다른 방법으로 일하면 어떻게 되나요? 길이가 m 인 n 개의 문자열이 주어진 경우 해당 문자열을 생성하는 문법과 해당 문자열 만 생성 할 수 있어야합니다. 이를위한 알려진 방법이 있습니까? 이상적으로는 연구 할 수있는 기술 이름입니다. 또는 그러한 방법을 찾기 …

10 formal-languages  regular-languages  formal-grammars  finite-sets 

다음 문맥 자유 문법 선물은 "다른 매달려"유형의 모호성 (상상 의미 와 의미 와 명령 또는 블록의 다른 종류의 약자) : 예를 들어, 는 또는 로 구문 분석 될 수 있습니다 이 문법에서 가장 단순하고 가장 짧은 모호한 단어입니다).aaaif expr thenbbbelsecccS→aSbS|aS|cS→aSbS|aS|c \begin{aligned} S &\rightarrow aSbS \;|\; aS \;|\; c\\ \end{aligned} aacbcaacbcaacbc(a(acbc))(a(acbc))(a(acbc))(a(ac)bc)(a(ac)bc)(a(ac)bc) …

9 context-free  formal-grammars  parsers  ambiguity 

문맥없는 문법이 무한한 수의 규칙을 갖도록 허용하면 최근에 어떤 일이 일어날 지 궁금합니다. 분명히, 우리가 임의의 무한한 규칙 집합을 허용한다면, 알파벳 통한 모든 언어 은 CFG 로 . 그러나 컨텍스트 프리 문법으로 작성할 수있는 규칙 세트로 을 제한하면 어떻게 될까요?LLLΣΣ\SigmaG=({S},Σ,R,S)G=({S},Σ,R,S)G = (\{S\},\Sigma,R,S)R={S→w∣w∈L}R={S→w∣w∈L}R = \{S \rightarrow w \mid w \in L …

9 formal-languages  context-free  formal-grammars 

다음 언어를 설명하는 상황에 맞는 문법을 찾고 있습니다. L={ww∣w∈{a,b}∗,|w|≥1}L={ww∣w∈{a,b}∗,|w|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} . 과 같은 규칙이 없다는 사실에 문제가 있습니다.X→εX→εX \to \varepsilon 은 허용되지 않으므로 단어의 "중간"을 나타내는 비 터미널을 배치 할 수 없다는 있습니다. 문제에 대한 트릭이 있습니까?

9 formal-languages  formal-grammars  context-sensitive 

컨텍스트 프리 문법을 푸시 다운 오토마타로 변환하는 규칙 또는 메소드 세트가 있습니까? 이미 온라인 에서 일부 슬라이드를 찾았 지만 이해할 수 없었습니다. 슬라이드 10에서 그는 누군가가 그것을 설명 할 수있는 몇 가지 규칙에 대해 이야기합니다.

9 context-free  formal-grammars  pushdown-automata  simulation 

Theodore Norvell (1999) 의 재귀 하강에 의한 표현 분석 기사 에서 저자는 산술 표현에 대한 다음 문법으로 시작합니다. E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" E | E "^" E | "(" E ")" | v 그것은 모호하고 …

9 formal-languages  context-free  formal-grammars  left-recursion