Запитання з тегом «context-free»

Зауважте, це питання, пов’язане з навчанням у курсі CS в університеті, це НЕ домашнє завдання і його можна знайти тут під іспитом осінь 2011 року2. Ось два питання, які я розглядаю з минулого іспиту. Вони, здається, пов'язані першими: Дозволяти FINITECFG={<G>∣G is a Context Free Grammar with |L(G)|<∞}FINITECFG={<G>∣G is a Context …

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

Перетин контекстної вільної мови L із звичайною мовою M, як кажуть, завжди вільний від контексту. Я зрозумів переконливі конструкції продукту, але все ще не розумію, чому це контекстно, але не регулярно. Мова, породжена таким перетином, має рядки, які приймаються як PDA, так і DFA. Оскільки його приймає DFA, чи не …

16 regular-languages  context-free  finite-automata  formal-grammars 

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

15 formal-languages  context-free  pumping-lemma 

Визначте мову як L = { a , b } ∗ - { w w ∣ w ∈ { a , b } ∗ } . Іншими словами, L містить слова, які не можуть бути виражені як слово, повторене двічі. Є чи L контекстно-вільний чи ні?LLLL={a,b}∗−{ww∣w∈{a,b}∗}L={a,b}∗−{ww∣w∈{a,b}∗}L = \{a, b\}^* - …

15 formal-languages  context-free  formal-grammars 

Нехай GGG - граматика без контексту. Рядок терміналів і нетерміналів з GGG називається бути сентенціальной формою з GGG , якщо ви можете отримати його шляхом застосування постановки GGG нуля або більше разів для початкового символу SSS . Нехай SF(G)SF⁡(G)\operatorname{SF}(G) безліч пропозіціональних форм GGG . Нехай α∈SF(G)α∈SF⁡(G)\alpha \in \operatorname{SF}(G) , і …

14 formal-languages  context-free  formal-grammars  closure-properties 

Я думав про граматики для чутливих до індендації мов, і схоже, що граматики CF виконають трюк у поєднанні з параметрами. Як приклад, розглянемо цей фрагмент для спрощеної граматики Python у форматі, подібному до ANTLR: // on top-level the statements have empty indent program : statement('')+ ; // let's consider only …

13 formal-languages  context-free  formal-grammars  parsers 

Я намагаюся зрозуміти, що мається на увазі під "детермінованим" в таких виразах, як "детермінована граматика без контексту". (У цьому полі є детермінованіші "речі"). Я би вдячний прикладом більше, ніж найяскравішим поясненням! Якщо можливо. Моє основне джерело плутанини - це не в змозі сказати, чим ця властивість граматики відрізняється від неоднозначності. …

13 context-free  formal-grammars  parsers 

Я знаю, що існують нерегулярні мови, так що є регулярним, але всі приклади, які я можу знайти, залежать від контексту, але не є контекстними.L∗L∗L^* Якщо немає, як це довести?

13 formal-languages  context-free  regular-languages 

У мене проблема з цією вправою: Нехай G - наступна неоднозначна граматика λ-числення: E → v | λv.E | EE | (E) де E - єдиний нетермінальний символ, λv.E являє собою абстракцію wrt змінної v в E, а EE являє додаток. Визначте граматику LL (1) G 'так, що L (G …

13 context-free  formal-grammars  compilers  parsers 

Я розумію, що без контексту граматики можна використовувати для представлення без контекстних мов. У нас також є нормальні форми, такі як Хомський і Грайбах нормальної форми. Я не міг зрозуміти необхідності цього. Чому вони важливі в теорії мов? Усі підручники, про які я згадував, розповідають про ці звичайні форми, але …

12 formal-languages  context-free  formal-grammars  normal-forms 

Я натрапив на цей показник, який показує, що безконтекстна та регулярна мови - це (належні) підмножини ефективних проблем (нібито ). Я прекрасно розумію, що ефективні проблеми - це підмножина всіх вирішальних проблем, оскільки ми можемо їх вирішити, але це може зайняти дуже багато часу.ПП\mathrm{P} Чому всі контекстні та регулярні мови …

12 formal-languages  regular-languages  context-free  efficiency 

Мови без контексту не доповнюються доповненням. На лекціях нам подано той самий аргумент, що і тут у Вікіпедії : Для і і є без контексту, але їх перетин не є. Оскільки контекстні мови закриті під союзи, вони також не можуть бути закриті при доповненні.А = { анбнcм; m , n …

11 formal-languages  context-free 

Це питання з книги Дракона (я вибачаюся за помилки в перекладі, англійської версії в мене немає): Яку мову породжує ця граматика? S→aSbS∣bSaS∣ϵS→aSbS∣bSaS∣ϵS \rightarrow a S b S \mid b S a S \mid \epsilon Я не знаю, що мені тут робити. Визначення в книзі про мови говорить про це (і …

11 formal-languages  context-free  formal-grammars 

Циклічний зсув (також званий поворотом або кон'югацією ) з мови визначається як . Згідно з вікіпедією (і тут ), в рамках цієї операції без контекстні мови закриваються посилання на документи Ошиби та Маслова. Чи є простий доказ цього факту?LLL{yx∣xy∈L}{yx∣xy∈L}\{ yx \mid xy \in L \} Для звичайних мов закриття обговорюється …

11 formal-languages  context-free  closure-properties 

На роботі мені було доручено виводити інформацію про тип динамічної мови. Я переписую послідовності висловлювань у вкладені letвирази, як-от так: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry