«pumping-lemma» 태그된 질문

다음 언어 컨텍스트는 무료입니까? 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 

Wikipedia 에는 일반 언어에 대한 펌핑 보조 정리에 대한 다음 정의가 있습니다 ... LLL 정규 언어로 하자 . 이어서 정수 존재 ppp ≥ 1에만 따라 LLL 그러한 모든 문자열 것을 www 에 LLL 이상의 길이 ppp ( ppp 은 "펌핑 길이"라고한다)가과 같이 쓸 수있다 www = xyzxyzxyz , 즉 ( …

20 formal-languages  regular-languages  pumping-lemma  finite-sets 

이 규칙적이지 않다는 것을 증명하기 위해 펌핑 보조 정리를 사용하려고합니다 .L = { ( 01 )미디엄2미디엄∣ m ≥ 0 }L={(01)m2m∣m≥0}L = \{(01)^m 2^m \mid m \ge0\} 이것이 지금까지 내가 가진 것입니다 : 이 규칙적이고 가 펌핑 길이 라고 가정 하면 입니다. 어떤 펌프 분해 고려 같은 그 및 .p w …

19 formal-languages  regular-languages  pumping-lemma 

따라서 기본적으로 L은 CFL에 대한 펌핑 렘마의 조건을 충족하지만 CFL은 아닙니다 (이는 렘마의 정의에 따라 가능).

15 formal-languages  context-free  pumping-lemma 

두 개의 하위 문자열의 동일한 수의 인스턴스를 포함하는 언어가 언제 규칙적인지 궁금합니다. 나는 1과 0의 동일한 수를 포함하는 언어가 정규 아니라, 같은 언어 것을 알고 , L은 = { W는 | 문자열 "001"의 인스턴스의 수는 문자열 "100"의 인스턴스의 수와 같습니다를 } 정기적? 문자열 "00100"이 허용됩니다.LLLLLL{w∣{w∣\{ w \mid}}\} 내 직감은 그렇지 …

14 formal-languages  regular-languages  pumping-lemma 

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

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

11 context-free  proof-techniques  pumping-lemma 

주가 3 개 밖에없는 DFA에서는 받아 들일 수없는 일반 언어를 설명하십시오. 나는 어디에서 이것을 시작할 지 확신하지 못하고 누군가 나에게 몇 가지 팁이나 조언을 줄 수 있는지 궁금해했다. 나는 펌핑 보조 정리가 언어가 규칙적이지 않다는 것을 증명하기 위해 사용될 수 있다는 것을 이해하지만,이 경우에는 정규 언어 여야합니다. 누구든지 생각이 있다면 …

10 formal-languages  regular-languages  finite-automata  pumping-lemma 

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 

주어진 언어 L = {ㅏ엔비엔씨엔}L={anbncn} L= \{a^n b^n c^n\}, 생산 규칙을 ​​보지 않고이 언어가 규칙적이지 않다는 것을 직접 말할 수 있습니까? 나는 펌핑 보조 정리를 사용할 수 있지만 일부 사람들은 이것이 규칙적인 것이 아니라는 문법을보고 있다고 말합니다. 그게 어떻게 가능해?

9 formal-languages  regular-languages  pumping-lemma  intuition