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

Ми дізналися про клас без контекстних мов . Для нього характерні як безконтекстні граматики, так і автоматичні натискання, тому легко показати, що дана мова є без контексту.CFLCFL\mathrm{CFL} Як я показую протилежне? Мій ТА твердо переконаний, що для цього нам потрібно було б показати всім граматикам (або автоматам), що вони не …

88 formal-languages  context-free  proof-techniques  reference-question 

Я пам’ятаю, натрапив на наступне запитання про мову, яка нібито не є контекстною, але мені не вдалося знайти доказ цього факту. Чи, можливо, я неправильно запам'ятав це питання? У всякому разі, ось питання: Покажіть, що мова без контексту.L = { x y∣ | х | = | у| ,x≠y}L={xy∣|x|=|y|,x≠y}L = …

43 formal-languages  context-free 

В Інтернеті є багато визначень щодо того, що таке граматика без контексту, але нічого, що я знаходжу, не задовольняє мою основну проблему: Який контекст це вільний? Щоб досліджувати, я гугла "граматику, залежну від контексту", але все ще не змогла знайти, що таке "контекст". Може хтось, будь ласка, пояснить, на що …

30 terminology  context-free  formal-grammars 

Я вивчав компілятори деякий час, і шукав, що означає «контекст» у граматиці і що означає для граматики бути «без контексту», але безрезультатно. То чи може хтось у цьому допомогти?

29 terminology  context-free  formal-grammars 

У мене є набір пар. Кожна пара має вигляд (x, y) такий, що x, y належать цілим числам з діапазону [0,n). Отже, якщо n дорівнює 4, то у мене є такі пари: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) У мене вже є пари. Тепер я повинен побудувати комбінацію за допомогою …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

Існує багато методик довести, що мова не є контекстною, але як я можу довести, що мова є безконтекстною? Які методи є для того, щоб довести це? Очевидно, один із способів - виявити без контексту граматику для мови. Чи існують якісь систематичні прийоми для пошуку безтекстової граматики для даної мови? Для …

26 formal-languages  context-free  formal-grammars  proof-techniques  reference-question 

Чи є наступним мовний контекст вільним? 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 

Моя проблема полягає в тому, як я можу довести, що граматика однозначна? У мене є така граматика: S→statement∣if expression then S∣if expression then S else SS→statement∣if expression then S∣if expression then S else SS → statement ∣ \mbox{if } expression \mbox{ then } S ∣ \mbox{if } expression \mbox{ then …

25 context-free  formal-grammars  proof-techniques  ambiguity 

Враховуючи контекстну граматику G, існує недетермінований автоматичний Pushdown N, який приймає саме ту мову, яку G приймає. (і віза) Також може існувати детермінований Pushdown Automaton D, який точно приймає мову G, яка також приймає. Це залежить від граматики. За яким алгоритмом на виробництвах G можна визначити, чи існує D?

22 automata  context-free  pushdown-automata 

При розгляді машинних моделей обчислень ієрархія Хомського зазвичай характеризується (по порядку), кінцевими автоматами, штовхаючими автоматами, лінійно пов'язаними автоматами і машинами Тюрінга. Для першого та останнього рівнів 1 (звичайні мови та рекурсивно перелічувані мови) це не має значення для потужності моделі, вважаємо ми детерміновані чи недетерміновані машини, тобто DFA еквівалентні NFA, …

21 formal-languages  computability  context-free  computation-models  context-sensitive 

Безконтекстні мови не закриваються доповненням, ми це знаємо. Наскільки я розумію, безконтекстні мови, які є підмножиною для деяких букв , закриваються під доповненням (!?) a , ba∗b∗a∗b∗a^*b^*a,ba,ba,b Ось мій аргумент. Кожна мова CF має напів-лінійний Parikh зображення . Напівлінійні набори закриті доповненням. Сукупність векторів, які представляють напівлінійний набір, легко перетворити …

20 formal-languages  reference-request  context-free  closure-properties 

Розглянемо дві безконтекстні граматики і G 2 і задамо наступне запитання: чи L ( G 1 ) = L ( G 2 ) , тобто дві граматики еквівалентні?G1G1G_1G2G2G_2L(G1)=L(G2)L(G1)=L(G2)L(G_1) = L(G_2) Загалом ця проблема не вирішена. Однак якщо і і G 2 є ліволінійними (або праволінійними) граматиками, тоді проблема вирішується, оскільки …

19 formal-languages  context-free  formal-grammars 

Чи може без контексту граматика включати "мертві стани" з автомата, такі як G = ( { a , b , c } , { A , B , C)} , { A → a B , B → b , B → C, С→ c С} , А )?Г=({а,б,c},{А,Б,С},{А→аБ,Б→б,Б→С,С→cС},А)?G = …

18 context-free  automata  formal-grammars 

Чи існує алгоритм / систематична процедура, щоб перевірити, чи мова без контексту? Іншими словами, дається мова, зазначена в алгебраїчній формі (придумайте щось на зразок ), тест на мовічи є контекстно-вільна чи ні. Уявіть, що ми пишемо веб-сервіс, щоб допомогти студентам в усіх домашніх роботах; ви вказуєте мову, і веб-служба виводить …

18 algorithms  formal-languages  context-free  decision-problem 

Я цікаво , якщо це взагалі можливо, так як {anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n b^n c^n \mid n \geq 0\} \not\in \mathrm{CFL} . Тому PDA, який може відрізнити слово w∈{anbncn∣n≥0}w∈{anbncn∣n≥0}w\in\{a^n b^n c^n \mid n \geq 0\} від решти {a∗b∗c∗}{a∗b∗c∗}\{a^*b^*c^*\} може також прийняти його, що мені звучить суперечливо. Я думаю, мені потрібно скористатися недетермінованим характером …

16 formal-languages  automata  context-free  pushdown-automata