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

У передмові до своїх дуже впливових книг «Автомати, мови та машини» (Томи А, Б) Самуель Ейленберг достойно обіцяв томи С і Д, що стосуються «ієрархії (званої раціональної ієрархії) нераціональних явищ ... використовуючи раціональні відносини як інструмент для порівняння. Раціональні множини знаходяться в нижній частині цієї ієрархії. Рухаючи вгору, зустрічається "алгебраїчні …

31 soft-question  fl.formal-languages  automata-theory  regular-language  context-free 

У багатьох працях, що стосуються безконтекстних граматик (CFG), приклади таких граматик, представлені там, часто допускають просту характеристику мови, яку вони генерують. Наприклад: S →S→aaSbS→aaSbS \to a a S b S→S→S \to породжує ,{a2ibi|i≥0}{a2ibi|i≥0}\{ a^{2i} b^i | i \geq 0\} S → a a S b S →S→aSbS→aSbS \to a S …

25 fl.formal-languages  context-free  context-free-languages 

Практично, для мови, яка в кінцевому підсумку може бути складена / перетворена в інструкції на системному рівні, чи потрібно, щоб це була граматика без контексту? напр .: Чи всі мови програмування / сценаріїв є вільними граматиками? Java заснована на CFG, але чи справді так, що всі мови програмування базуються на …

23 pl.programming-languages  context-free 

Під час майстерності з неканонічним синтаксичним розбором LR я придумав метод розбору (з нескінченними розмірами таблиць, що робить його дещо непрактичним ), здатний розбирати точно однозначні граматики за час , і мені було цікаво, чи можна це зробити краще:О ( н.)2)О(н2)O(n^2) Чи можна розбирати всі однозначні граматики за лінійним часом? …

22 reference-request  fl.formal-languages  time-complexity  parsing  context-free 

Я шукаю мови, "які, ймовірно, не містять контексту", але ми не в змозі (не) довести це за допомогою відомих стандартних методів. Чи є нещодавнє опитування з цього питання або відкритий проблемний розділ з недавньої конференції? Напевно, існує не так багато мов, які не відомі як CF, тому якщо ви знаєте …

21 reference-request  big-list  context-free 

Позначимо через wnwnw_n кількість слів довжиною nnn у (можливо, неоднозначній) безконтекстній мові. Що відомо про wnwnw_n ? Я впевнений, що це було вивчено багато, але я нічого не міг знайти на ньому.

20 fl.formal-languages  context-free 

Враховуючи регулярні вирази , чи є нетривіальні межі щодо розміру найменшої без контексту граматики для R 1 ∩ ⋯ ∩ R n ?R1,…,RnR1,…,RнR_1, \dots, R_nR1∩⋯∩RnR1∩⋯∩RнR_1 \cap \cdots \cap R_n

20 fl.formal-languages  regular-language  context-free 

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

19 fl.formal-languages  grammars  context-free  decidability  undecidability 

Я десь читав, що машина Тьюрінга не може це обчислити, і тому не можна визначити, але чому? Чому комп'ютерно неможливо створити дерево розбору та прийняти рішення? Можливо, я помиляюся, і це можна зробити?

19 computability  turing-machines  context-free 

Існує безліч алгоритмів, які можуть розібрати без контексту граматику за час . Використовуючи матричне множення, можна навіть пройти асимптотично швидше.О ( н.)3)О(н3)O(n^3) Однак усі алгоритми для розбору довільних CFG, які я знаю, мають найгірший простір у використанні простору (хоча, правда, я не маю поняття, що таке використання простору цього алгоритму …

18 ds.algorithms  fl.formal-languages  space-bounded  parsing  context-free 

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

17 context-free  automata-theory  reference-request 

Це стандартний доказ в курсах автоматів, що для і що - це не контекстна мова.| Σ | ≥ 2L=Σ⋆L=Σ⋆L = \Sigma^\star|Σ|≥2|Σ|≥2|\Sigma| \ge 2S(L)={ww:w∈L}S(L)={ww:w∈L}S(L) = \{ww : w \in L\} Вірно також, що для будь-якого кінцевого , є кінцевим (і, отже, CFL). Я здогадуюсь, що , нескінченний і регулярний, не є …

16 context-free 

У формальному описі детермінованих Pushdown Automata вони дозволяють переходити , де машина може виводити або натискати символи на стек, не читаючи символ із вводу. Якщо ці переміщення не дозволені, і стек можна змінити лише один раз після кожного зчитування символу, чи отримані автомати дорівнюють потужності DPDA?ϵϵ\epsilonϵϵ\epsilon Можливо, є щось тривіальне, …

16 automata-theory  context-free 

Мені цікаво, чи існують документи чи дослідження, що займаються видимими автоматичними витисканнями, але дозволяють слова, а не однієї літери, висуватися на стек. Крім того, конструкція, яка дозволила натискати символи на -переходи, могла досягти тієї ж мети.ϵϵ\epsilon Очевидно, що такі зміни можуть бути сформовані, але мені цікаво, чи це руйнує властивості …

16 reference-request  fl.formal-languages  automata-theory  context-free  context-free-languages 

Перестановочна фраза - це розширення до стандартних граматичних визначень BNF-контексту: перестановочна фраза містить виробництв (або, що еквівалентно, нетерміналів) від до . На позиції фрази перестановки ми хотіли б побачити кожну з цих постановок рівно один раз, але нас не цікавить впорядкування цих нетерміналів.{A1, … ,An}{A1,…,Ан}\{ A_1, \dots, A_n \}ннnА1А1A_1АнАнA_n Наприклад: …

16 ds.algorithms  fl.formal-languages  parsing  context-free