Запитання з тегом «closure-properties»

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

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

Це наступне питання цього . У попередньому запитанні про екзотичні державні машини Алекс десять Брінк та Рафаель зверталися до обчислювальних можливостей своєрідного державного машинного апарату: автоматів міні-купи. Вони змогли показати, що набір мов, прийнятих такими машинами ( ), не є ні підмножиною, ні надмножиною набору без контекстних мов. Враховуючи успішне …

16 formal-languages  automata  closure-properties 

Нехай 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 

Я дуже люблю вашу допомогу з наступним: Для будь-якого фіксованого мені потрібно вирішити, чи є закриття під такими операторами:L2L2L_2 Аr( L ) = { x ∣ ∃ y∈ L2: х у∈ L }Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} .Ал( L ) = { x ∣ ∃ …

13 formal-languages  regular-languages  closure-properties 

LLL - звичайна мова над алфавітом . Лівий коефіцієнт щодо - це мова L w ∈ Σ ∗ w - 1 L : = { v ∣ w v ∈ L }Σ = { a , b }Σ={a,b}\Sigma = \{a,b\}LLLw ∈ Σ∗w∈Σ∗w \in \Sigma^*ш- 1L : = { v ∣ …

13 formal-languages  regular-languages  closure-properties 

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

12 formal-languages  regular-languages  closure-properties 

Якщо регулярний, чи випливає, що регулярний? AA2A2A^2AAA Моя спроба доказу: Так, для суперечності припустимо, що не є регулярним. Тоді .A 2 = A ⋅ AAAAA2=A⋅AA2=A⋅AA^2 = A \cdot A Оскільки сполучення двох нерегулярних мов не є регулярним, не може бути регулярним. Це суперечить нашому припущенню. Отже, регулярно. Отже, якщо є …

12 formal-languages  regular-languages  closure-properties 

Чи існують мови, які не визначаються таким чином, щоб їх мова об'єднання / перетину / об'єднаної мови була вирішальною? Що таке фізичне тлумачення такого прикладу, оскільки загалом нерозбірливі мови не закриваються в рамках цих операцій? Що можна сказати про закриття клену? Чи є у нас і приклади для цього? Тобто, …

12 formal-languages  undecidability  closure-properties 

Хочу довести, що доповнення не є регулярним використанням властивостей закриття.{0n1n∣n≥0}{0n1n∣n≥0}\{0^n1^n \mid n \geq{} 0\} Я розумію, що накачана лема може бути використана, щоб довести, що не є звичайною мовою. Я також розумію, що регулярні мови закриваються під час доповнення. Однак, це також означає, що доповнення мови є нерегулярним?{0n1n∣n≥0}{0n1n∣n≥0}\{0^n1^n \mid n …

12 formal-languages  regular-languages  closure-properties 

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

11 formal-languages  context-free  closure-properties 

Нехай , , , - це нескінченна послідовність безконтекстних мов, кожна з яких визначена загальним алфавітом Σ . Нехай 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 

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

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

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

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

Я застряг у вирішенні наступної вправи: Аргументуйте, що якщо без контексту і є регулярним, то (тобто правильний коефіцієнт ) без контексту.LLLRRRL/R={w∣∃x∈Rs.twx∈L}L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\} Я знаю , що повинен існувати КПК , який приймає і DFA , який приймає …

9 formal-languages  context-free  finite-automata  closure-properties  pushdown-automata