Вопросы с тегом «pumping-lemma»

Является ли следующий языковой контекст бесплатным? L = { u x v y| У , v , х , у∈ { 0 , 1 }+,|u|=|v|,u≠v,|x|=|y|,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 \}^+, |u| = |v|, u \neq v, |x| = |y|, x \neq y\} Как указывает sdcvvc, слово …

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

В Википедии есть следующее определение леммы прокачки для регулярных языков ... Пусть обычный язык. Тогда существует целое число ≥ 1, зависящее только от , так что каждая строка в длиной не менее ( называется «длиной накачки») может быть записана как = (т. можно разделить на три подстроки), удовлетворяющих следующим условиям:LLLL …

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\} Это то, что я имею до сих пор: Предположим, что регулярна, и пусть будет длиной накачки, поэтому . Рассмотрим любое накачанное разложение такое, что …

19 formal-languages  regular-languages  pumping-lemma 

Таким образом, в основном L удовлетворяет условиям леммы накачки для КЛЛ, но не является КЛЛ (это возможно в соответствии с определением леммы).

15 formal-languages  context-free  pumping-lemma 

Мне было интересно, когда языки, которые содержат одинаковое количество экземпляров двух подстрок, будут регулярными. Я знаю, что язык, содержащий равное количество единиц и нулей, не является регулярным, но является языком, таким как , где = число экземпляров подстроки "001" равно числу экземпляров подстроки " 100 " обычный? Обратите внимание, что …

14 formal-languages  regular-languages  pumping-lemma 

У меня есть следующий язык { 0я1J2К∣ 0 ≤ i ≤ j ≤ k }{0i1j2k∣0≤i≤j≤k}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} Я пытаюсь определить, к какому классу языка Хомского он подходит. Я могу видеть, как это можно сделать, используя контекстно-зависимую грамматику, поэтому я знаю, что …

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

Насосная лемма для регулярных языков может быть использована для доказательства того, что некоторые языки не являются регулярными, а прокачивающая лемма для контекстно-свободных языков (наряду с леммой Огдена) может быть использована для доказательства того, что некоторые языки не являются контекстно-свободными. Существует ли накачка леммы для детерминированных контекстно-свободных языков? То есть, существует …

11 context-free  proof-techniques  pumping-lemma 

Опишите обычный язык, который не может быть принят ни одним DFA, имеющим только три состояния. Я не совсем уверен, с чего начать, и мне было интересно, если кто-то может дать мне несколько советов или советов. Я понимаю, что лемму прокачки можно использовать для доказательства того, что язык не является регулярным, …

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

Почему (если так) разделитель делает разницу между двумя языками?##\# Позвольте сказать: L={ws:|w|=|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 \} L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L_{\#}=\{w\#s : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} Вот доказательство и грамматика, представляющая какLLLCFLCFLCFL И ниже я добавляю доказательство для :L#∉CFLL#∉CFLL_{\#} \notin CFL Действительно ли знак имеет значение? если …

9 formal-languages  context-free  pumping-lemma 

Учитывая язык L={anbncn}L={anbncn} L= \{a^n b^n c^n\} , как я могу прямо сказать, не глядя на правила производства, что этот язык не является регулярным? Я мог бы использовать лемму прокачки, но некоторые парни говорят, просто глядя на грамматику, что это не совсем так. Как это возможно?

9 formal-languages  regular-languages  pumping-lemma  intuition