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

У мене є така мова {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 

Нехай , , , - це нескінченна послідовність безконтекстних мов, кожна з яких визначена загальним алфавітом Σ . Нехай L - це нескінченна спілка L_1 , L_2 , L_3 , \ крапки ; тобто L = L_1 \ чашка L_2 \ чашка L_3 \ чашка \ крапки .L1L1L_1L2L2L_2L3L3L_3……\dotsΣΣΣLLLL1L1L_1L2L2L_2L3L3L_3……\dots L=L1∪L2∪L3∪…L=L1∪L2∪L3∪…L = …

11 formal-languages  context-free  closure-properties 

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

11 context-free  proof-techniques  pumping-lemma 

Мені потрібно знати, під яким класом CFL закритий, тобто який набір є доповненням до CFL. Я знаю, що CFL не закривається під комплементом, і я знаю, що P закритий під комплементом. Оскільки CFL PI може сказати, що доповнення CFL включено в P (так?) Все ще залишається питання, чи є доповненням …

11 complexity-theory  formal-languages  context-free  closure-properties  sets 

Я працюю над важкою вправою в підручнику, і просто не можу зрозуміти, як діяти далі. Ось проблема. Припустимо, у нас є мова де - деяке ірраціональне число. Як я можу довести, що не є контекстною мовою?L = { a i b j : i ≤ j γ , i ≥ …

10 formal-languages  automata  context-free 

Існує спосіб виконати нечіткий синтаксичний аналіз (приймає рядки навіть з помилками помилок на певну відстань редагування), з DFA та автоматизованими автоматами Levenshtein, введеними під час введення слова. Чи можна зробити щось подібне з аналізатором Ерлі? Мені важко зрозуміти алгоритм, не кажучи вже про відповідь на це питання.

10 algorithms  context-free  finite-automata  parsers  string-metrics 

У аналізаторі LR (0) кожен стан складається з колекції елементів LR (0), які є виданнями, анотованими позицією. У аналізаторі LR (1) кожен стан складається з колекції предметів LR (1), що представляють собою постановки з анотацією позиції та символом пошуку. Відомо, що з урахуванням стану в автоматі LR (1) конфігуруючий набір, …

10 context-free  parsers  lr-k 

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

10 formal-languages  context-free  closure-properties  regular-expressions 

Чи може хтось просвітити мене, чому рекурсивний аналізатор спуску з відстеженням, який намагається виробляти та (у тому порядку), не розпізнає мову, сформовану граматикою .S→ a SаS→аSаS \rightarrow aSaS→S→ааS \rightarrow aaS→ a Sа | a a S→аSа | ааS \rightarrow aSa\ |\ aa Здається, лише розбирають слова з мови .{ a2н …

10 context-free  formal-grammars  compilers  parsers 

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

10 algorithms  formal-grammars  context-free  parsing 

Нехай безліч термінального та безлічі нетермінальних символів деякої контекстно-вільна граматика .N GΣΣ\SigmaNNNГGG Скажіть, у мене є рядок така, що де та , є сентенціальной формами . x a y ∈ S ( G ) x , y ∈ ( Σ ∪ N ) ∗ S ( G ) Ga ∈ …

10 algorithms  context-free  formal-grammars  compilers 

Запишіть для десяткового розширення (без провідних ). Нехай і - цілі числа, . Розглянемо мову десяткових розкладів кратних плюс константа:ˉ nn¯\bar n nnn0aaabbba>0a>0a > 0aaa M = { ¯ ax + b ∣x∈N}M={ax+b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N} \} Є регулярними? без контексту?МMM (Контраст з мовою графіка афінної функції ) …

10 formal-languages  context-free  regular-languages  integers 

Чому (якщо так) сепаратор ##\# чи є різниця між двома мовами? Скажімо: 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 

Наступні контекстно-вільної граматики являє «обірваних ще» тип неоднозначності (уявіть собі , що означає і означає і позначає який - то іншої команди або блоку): Наприклад, може бути проаналізований як або як (це найпростіше / найкоротше неоднозначне слово для цієї граматики).aaaif expr thenbbbelsecccS→aSbS|aS|cS→aSbS|aS|c \begin{aligned} S &\rightarrow aSbS \;|\; aS \;|\; c\\ …

9 context-free  formal-grammars  parsers  ambiguity 

Нещодавно мені було цікаво, що буде, якщо ми дозволимо без контекстних граматик мати нескінченну кількість правил. Зрозуміло, якщо ми дозволимо довільні такі нескінченні набори правил, кожна моваLLL над деяким алфавітом ΣΣ\Sigma можна описати CFG G=({S},Σ,R,S)Г=({S},Σ,R,S)G = (\{S\},\Sigma,R,S) з R={S→w∣w∈L}R={S→ш∣ш∈L}R = \{S \rightarrow w \mid w \in L \}. Але що …

9 formal-languages  context-free  formal-grammars