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

3
Является ли язык пар слов одинаковой длины, расстояние Хемминга которых равно 2 или более, без контекста?
Является ли следующий языковой контекст бесплатным? 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, слово …

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

4
Использование леммы прокачки для доказательства языка не является регулярным
Я пытаюсь использовать насосную лемму, чтобы доказать, что не является регулярным.L = { ( 01 )м2м∣ m ≥ 0 }L={(01)m2m∣m≥0}L = \{(01)^m 2^m \mid m \ge0\} Это то, что я имею до сих пор: Предположим, что регулярна, и пусть будет длиной накачки, поэтому . Рассмотрим любое накачанное разложение такое, что …


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

2
Как я могу доказать, что этот язык не является контекстно-свободным?
У меня есть следующий язык { 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\} Я пытаюсь определить, к какому классу языка Хомского он подходит. Я могу видеть, как это можно сделать, используя контекстно-зависимую грамматику, поэтому я знаю, что …

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

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

1
Как можно ws с | w | = | s | и будет ли контекстно-свободным, а w # s - нет?
Почему (если так) разделитель делает разницу между двумя языками?##\# Позвольте сказать: 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 Действительно ли знак имеет значение? если …

3
Как интуитивно почувствовать, что язык является регулярным
Учитывая язык L={anbncn}L={anbncn} L= \{a^n b^n c^n\} , как я могу прямо сказать, не глядя на правила производства, что этот язык не является регулярным? Я мог бы использовать лемму прокачки, но некоторые парни говорят, просто глядя на грамматику, что это не совсем так. Как это возможно?
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.