«context-free» 태그된 질문

Earley 벡터를 인식기로 사용하는 것은 매우 간단합니다. 스트링의 끝에 도달하면 위치 0에서 시작된 완료된 축산 생산을 확인하기 만하면됩니다. 하나 이상이 있으면 스트링이 승인됩니다. Earley 벡터를 사용하여 구문 분석 트리를 재구성하는 것은 덜 명확합니다. 실제로 알고리즘 절차가 어떻게 작동하는지 알 수 없으며, 내가 찾은 유일한 참조는 모호하거나 슈퍼 테크니컬 한 것입니다. …

9 context-free  dynamic-programming  parsers  ambiguity  syntax-trees 

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

9 context-free  formal-grammars  pushdown-automata  simulation 

상황에 맞는 언어를 조작하는 것과 관련된이 문제가 발생했습니다. 허락하다엘LL문맥이없는 언어입니다. 밝히다엘#= { x :엑스나는∈ LL#={x:xi∈LL^{\#} = \{ x : x^i \in L 모든 난 = 0 , 1 , 2 , . . . }i=0,1,2,...}i=0,1,2,...\}. 입니다엘#L#L^{\#}항상 문맥이 없습니까? 내 생각에 그것은 문맥 자유를 보존 할 것입니다. 누구든지 이것에 대한 기본적인 …

9 formal-languages  context-free 

대학에서 우리는 일반적인 계산 이론과 튜링 머신에 대해 더 구체적으로 배우고 있습니다. 큰 이론적 결과 중 하나는 잠재적으로 큰 알파벳 (기호)을 희생시키면서 상태 수를 2로 줄일 수 있다는 것입니다. 다른 Turing Machines의 예를 찾고 있었고 일반적인 예는 괄호 매처 / 체커입니다. 기본적으로 괄호 문자열 (()()()))()()()이 균형을 이루는 지 확인합니다 ( …

9 turing-machines  context-free  parsers 

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 

다음 문제에 도움을 드리고자합니다. L={⟨M⟩∣L(M) is context-free}L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \}. 보여L∉RE∪CoREL∉RE∪CoREL \notin RE \cup CoRE. 나는 증명하기 위해 L∉REL∉REL\notin RE언어를 찾는 것으로 충분합니다 L′L′L' 그런 L′∉REL′∉REL'\notin RE 에서 감소가 있음을 보여 L′L′L' 에 LLL (L′≤ML)(L′≤ML)(L'\leq _M L). 나는 그들이 이미 알고있는 언어를 생각하기 시작했습니다. RERERE나는 …

9 formal-languages  computability  context-free  turing-machines 

다음 연습 문제를 해결해야합니다. 만약 에 문맥이없고 이 규칙적이라면 (즉, 오른쪽 몫 )은 문맥이 없습니다.엘LL아르 자형RRL / R = { w ∣ ∃ x ∈ R성w x ∈ L }L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\} 을 허용하는 PDA 와 을 허용하는 …

9 formal-languages  context-free  finite-automata  closure-properties  pushdown-automata