«context-free» 태그된 질문

다음 언어가 있습니다 {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 

하자 , , , 일반적인 알파벳을 통해 네드 드 파이입니다 각각의 문맥 자유 언어의 인터넷에서 무한 시퀀스가 될 Σ . L 을 L_1 , L_2 , L_3 , \ dots 의 유한 합집합 이라고합시다 . 즉, L = L_1 \ cup L_2 \ cup L_3 \ cup \ dots 입니다.L …

11 formal-languages  context-free  closure-properties 

일반 언어에 대한 펌핑 보조는 특정 언어가 규칙적이지 않다는 것을 증명하는 데 사용될 수 있으며, 문맥이없는 언어에 대한 펌핑 보조는 (오그 덴의 정리와 함께) 특정 언어에 문맥이없는 것을 증명하는 데 사용될 수 있습니다. 결정론적인 문맥없는 언어를 위한 펌핑 보조기가 있습니까? 즉, 언어가 DCFL이 아님을 보여주기 위해 사용할 수있는 펌핑 렘마와 …

11 context-free  proof-techniques  pumping-lemma 

어떤 클래스의 CFL이 닫히는 지, 즉 어떤 세트가 CFL을 보완하는지 알아야합니다. CFL이 보수로 폐쇄되지 않았 음을 알고 있으며 P가 보수로 폐쇄되었음을 알고 있습니다. CFL PI는 CFL의 보완이 P (right?)에 포함되어 있다고 말할 수 있습니다. CFL의 보수가 P의 적절한 부분 집합인지 전체 P인지에 대한 의문이 여전히 남아 있습니다.⊊⊊\subsetneq

11 complexity-theory  formal-languages  context-free  closure-properties  sets 

나는 교과서에서 열심히 연습하고 있으며, 진행 방법을 알 수 없습니다. 여기에 문제가 있습니다. 언어가 있다고 가정합니다 여기서 는 비이성적 인 숫자입니다. 이 문맥없는 언어가 아님 을 어떻게 증명할 수 있습니까?L = { a i b j : i ≤ j γ , i ≥ 0 , j ≥ 1 } …

10 formal-languages  automata  context-free 

입력 단어의 DFA 및 런타임 구성 Levenshtein Automata를 사용하여 퍼지 파싱 (일부 편집 거리에 오타가있는 문자열도 허용)을 수행하는 방법이 있습니다. Earley 파서로 비슷한 것을 할 수 있습니까? 이 질문에 대답하는 것은 물론 알고리즘을 이해하기가 어렵습니다.

10 algorithms  context-free  finite-automata  parsers  string-metrics 

LR (0) 파서에서 각 상태는 위치로 주석이 달린 프로덕션 인 LR (0) 항목의 모음으로 구성됩니다. LR (1) 파서에서 각 상태는 LR (1) 항목의 모음으로 구성되며, 이는 위치 및 미리보기 문자로 주석이 달린 프로덕션입니다. LR (1) 오토 마톤의 상태에서 각 LR (1) 항목에서 미리보기 토큰을 삭제하여 구성된 구성 세트는 LR (0) …

10 context-free  parsers  lr-k 

누군가가 와 (순서대로) 를 시도하는 역 추적 기능이있는 재귀 적 하강 파서가 문법 의해 형성된 언어를 인식하지 못하는 이유를 누군가에게 ?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 

정규 표현식을 보는 한 가지 방법은 다음 사실에 대한 건설적인 증거입니다. 작은 언어로 시작하여 작은 고정 된 클로저 속성 세트를 통해 정규 언어를 조합하여 일반 언어를 구성 할 수 있습니다. 특히 빈 언어, 빈 문자열을 포함하는 언어 및 모든 단일 문자 문자열의 언어로 시작하면 공용체, 연결 및 Kleene 스타를 사용하여 …

10 formal-languages  context-free  closure-properties  regular-expressions 

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

10 algorithms  formal-grammars  context-free  parsing 

하자 단말기들의 집합 일부 문맥 자유 문법의 비 - 터미널 심볼의 세트 .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 

쓰기 ˉ Nn¯\bar n 의 진수 확장을위한 Nnn (아니오 선도 0). 하자 을aa 하고 b를bb 가진 정수, 수 > 0 . 의 배수의 진 확장의 언어 고려 플러스 상수를 :a>0a > 0aa M = { ¯ ax + b ∣x∈N}M={ax+b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N} \} 가 M은MM 일반? 문맥이 …

10 formal-languages  context-free  regular-languages  integers 

seperator 가 두 언어를 다르게 만드는 이유는 무엇 입니까?##\# 다음과 같이 말하십시오 : L = { w s : | 승 | = | s |w , s ∈ { 0 , 1}※, w ≠ s }L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L=\{ws : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} 엘#= { w # s …

9 formal-languages  context-free  pumping-lemma 

다음 문맥 자유 문법 선물은 "다른 매달려"유형의 모호성 (상상 의미 와 의미 와 명령 또는 블록의 다른 종류의 약자) : 예를 들어, 는 또는 로 구문 분석 될 수 있습니다 이 문법에서 가장 단순하고 가장 짧은 모호한 단어입니다).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