Запитання з тегом «pumping-lemma»

Чи є наступним мовний контекст вільним? L = { u x v y∣ u , v , x , y∈ { 0 , 1 }+, | u | = | v | , u ≠ v , | х | = | у| ,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 …

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

У Вікіпедії є таке визначення накачаної леми для звичайних мов ... Нехай - звичайна мова. Тоді існує ціле число ≥ 1 , що залежить тільки від таким чином, що кожен рядок в довжини щонайменше ( називається «накачування довжиною») може бути записана в вигляді = (тобто, можна розділити на три підрядки), …

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

Я намагаюся використовувати накачувальну лему, щоб довести, що не є регулярним.L={(01)m2m∣m≥0}L={(01)м2м∣м≥0}L = \{(01)^m 2^m \mid m \ge0\} Це те, що я маю досі: Припустимо, є регулярним і нехай - довжина накачування, тому . Розглянемо будь-яке насосне розкладання таким, що і .LLLpppw=(01)p2pш=(01)p2pw = (01)^p 2^pw=xyzш=хуzw = xyz|y|>0|у|>0|y| >0|xy|≤p|ху|≤p|xy| \le p Я …

19 formal-languages  regular-languages  pumping-lemma 

Таким чином, L в основному задовольняє умовам накачувальної леми для CFL, але не є CFL (що можливо відповідно до визначення леми).

15 formal-languages  context-free  pumping-lemma 

Мені було цікаво, коли мови, які містять однакову кількість примірників двох підрядків, будуть регулярними. Я знаю, що мова, що містить рівну кількість 1s та 0s, не є регулярною, але є такою мовою, як , де = кількість екземплярів підрядка "001" дорівнює кількості екземплярів підрядки " 100 " регулярно? Зауважте, що …

14 formal-languages  regular-languages  pumping-lemma 

У мене є така мова {0i1j2k∣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 = { 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 \} L#= { w # s : …

9 formal-languages  context-free  pumping-lemma 

З огляду на мову , як я можу сказати безпосередньо, не дивлячись на правила виробництва, що ця мова не є регулярною?L = {анбнcн}L={anbncn} L= \{a^n b^n c^n\} Я міг би використовувати насосну лему, але деякі хлопці говорять, просто дивлячись на граматику, що це не є звичайною. Як це можливо?

9 formal-languages  regular-languages  pumping-lemma  intuition