Запитання з тегом «formal-grammars»

Якщо у мене є граматика типу 3, вона може бути представлена ​​на автоматичному віджиманні (не виконуючи жодної операції над стеком), тому я можу представляти регулярні вирази за допомогою контекстних вільних мов. Але чи можу я знати, якщо граматика типу 3 - , , тощо, не будуючи таблиць розбору?L R ( …

16 formal-languages  regular-languages  formal-grammars  parsers  regular-expressions 

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

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

Можна стверджувати, що більшість мов, створених для опису повсякденних проблем, є чутливими до контексту. З іншого боку, можна і не важко знайти деякі мови, які не є рекурсивними або навіть не рекурсивно-перелічуючими. Між цими двома типами є рекурсивні не контекстно-чутливі мови. Вікіпедія наводить тут один приклад : Прикладом рекурсивної мови, …

15 formal-languages  complexity-theory  formal-grammars 

Визначте мову як 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 

Я намагаюся навчити себе вживати зубрів. Сторінка бізона (1) говорить про зубра: Створіть детермінований LR або узагальнений парсер LR (GLR), використовуючи LALR (1), IELR (1) або канонічний LR (1) парсер таблиць. Що таке IELR-аналізатор? Усі релевантні статті, які я знайшов у всесвітній мережі Інтернету, платні.

14 formal-languages  terminology  formal-grammars  parsers 

Згідно зі статтею Вікіпедії , L у означає "сканування зліва направо", а "R" означає "найправіше виведення". Однак в оригінальній статті Кнута про граматики L R ( k ) він визначає L R ( k ) (на стор. 610) як мову, що "перекладається зліва направо із пов'язаною k ".LR(k)LR(k)LR(k)LR(k)LR(k)LR(k)LR(k)LR(k)LR(k)kkk Я здогадуюсь, …

14 formal-languages  reference-request  terminology  formal-grammars  parsers 

Нехай 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 formal-languages  terminology  automata  finite-automata  formal-grammars 

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

13 context-free  formal-grammars  parsers 

У мене проблема з цією вправою: Нехай 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 automata  formal-grammars  regular-expressions 

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

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

Я намагаюся зрозуміти контекстно-залежні граматики. Я розумію, чому так люблять мови { w w ∣ w ∈ A∗}{ww∣w∈A∗}\{ww \mid w \in A^*\} {anbncn∣n∈N}{anbncn∣n∈N}\{a^n b^n c^n \mid n\in\mathbb{N}\} не є контекстними, але що я хотів би знати, якщо мова, схожа на нетипізований лямбдальний числення, є залежною від контексту. Я хотів би …

12 formal-grammars  programming-languages  lambda-calculus  context-sensitive 

Я переглядав визначення Вікіпедії контекстно-залежної мови і виявив таке: Кожна категорія мов є належним підмножиною категорії безпосередньо над нею. Будь-який автомат і будь-які граматики в кожній категорії мають еквівалентний автомат або граматику в категорії безпосередньо над ним. Я міг бачити, що лінійно-обмежений автомат знаходиться безпосередньо під рішенням у впорядкуванні статті. …

12 formal-grammars  turing-machines  undecidability  context-sensitive