«context-free» 태그된 질문

문맥없는 언어 클래스 에 대해 배웠습니다 C F LCFL\mathrm{CFL}. 그것은 모두 특징 문맥 자유 문법 과 푸시 다운 오토마타 가 주어진 언어는 문맥 자유 것을 보여 쉽게 있도록. 그래도 어떻게 반대를 보여줄 수 있습니까? 내 TA는 그렇게하기 위해 모든 문법 (또는 오토마타)에 대해 현재 사용중인 언어를 설명 할 수 없다는 …

88 formal-languages  context-free  proof-techniques  reference-question 

상황에 맞지 않는 언어에 대해 다음과 같은 질문을 받았지만 사실의 증거를 찾을 수 없었습니다. 내가 그 질문을 잘못 기억 했을까? 어쨌든, 여기에 질문이 있습니다 : 언어 는 문맥이 없습니다.L = { x y∣ | x | = | 와이| ,x≠y}L={xy∣|x|=|y|,x≠y}L = \{xy \mid |x| = |y|, x\neq y\}

43 formal-languages  context-free 

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 

다음 언어 컨텍스트는 무료입니까? L = { u x v y∣ u , v , x , y∈ { 0 , 1 }+, | u | = | v | , u ≠ v , | x | = | 와이| ,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ 0,1 …

26 formal-languages  context-free  pushdown-automata  pumping-lemma  open-problem 

내 문제는 문법이 명확하다는 것을 어떻게 증명할 수 있는가? 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 

문맥이없는 문법 G가 주어지면, G가 받아들이는 언어를 정확하게 받아들이는 비 결정적 푸시 다운 오토 마톤 N이 있습니다. (그리고 비자도 마찬가지) G가 받아들이는 언어를 정확하게 받아들이는 결정 론적 푸시 다운 오토 마톤 D도 있을 수 있습니다. 문법에 따라 다릅니다. G의 생성에 대해 어떤 알고리즘으로 D가 존재하는지 확인할 수 있습니까?

22 automata  context-free  pushdown-automata 

컴퓨터 계산 모델을 고려할 때, Chomsky 계층 구조는 일반적으로 유한 자동 마타, 푸시 다운 자동 마타, 선형 바운드 자동 마타 및 튜링 머신으로 구성됩니다. 첫 번째 수준과 마지막 수준 1 (일반 언어 및 재귀 적으로 열거 가능한 언어)의 경우 결정적 또는 비 결정적 기계를 고려하는지 여부, 즉 DFA가 NFA와 같고 …

21 formal-languages  computability  context-free  computation-models  context-sensitive 

문맥이없는 언어는 보완 없이 닫히지 않습니다 . 내가 이해 하는 한 , 일부 문자 a , b 의 의 일부인 문맥없는 언어는 보완 (!?)으로 닫힙니다.ㅏ※비※a∗b∗a^*b^*a , ba,ba,b 여기 내 주장이 있습니다. 각 CF 언어 엘LL 에는 반 선형 Parikh 이미지 π( L ) = { ( m , n ) …

20 formal-languages  reference-request  context-free  closure-properties 

하자 생각이 문맥 자유 문법 및 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 

문맥없는 문법에 다음과 같은 오토 마톤의 "죽은 상태"가 포함될 수 있습니다 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 

언어에 컨텍스트가 없는지 테스트하는 알고리즘 / 체계적인 절차가 있습니까? 다시 말해, 대수 형태로 지정된 언어 ( 와 같은 것으로 생각)가 주어지면 언어에 컨텍스트가 없는지 테스트하십시오. 학생들이 모든 숙제를 도와 줄 수 있도록 웹 서비스를 작성한다고 상상해보십시오. 언어를 지정하면 웹 서비스는 "문맥없는"또는 "문맥없는"를 출력합니다. 이것을 자동화하는 좋은 접근 방법이 있습니까?L={anbnan:n∈N}L={anbnan:n∈N}L=\{a^n b^n …

18 algorithms  formal-languages  context-free  decision-problem 

이 대학에서 CS 과정에서 연구와 관련된 질문을 참고, 그것은 숙제되어 있지 않으므로 찾을 수 있습니다 여기에 2011 년 가을 exam2에서. 다음은 지난 시험에서보고있는 두 가지 질문입니다. 그들은 관련이있는 것 같습니다. 허락하다 FINITECFG={&lt;G&gt;∣G is a Context Free Grammar with |L(G)|&lt;∞}FINITECFG={&lt;G&gt;∣G is a Context Free Grammar with |L(G)|&lt;∞}\qquad \mathrm{FINITE}_{\mathrm{CFG}} = \{ < …

16 formal-languages  computability  context-free  regular-languages  turing-machines