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

Питання, пов'язані з формальними мовами, граматиками та теорією автоматів

1
Обчислювальна складність проти ієрархії Хомського
Мене цікавить взаємозв'язок обчислювальної складності та ієрархії Хомського загалом. Зокрема, якщо я знаю, що якась проблема не є повною NP, чи випливає, що мова цієї проблеми не є контекстною? Наприклад, проблема клики не є повною. Звідси випливає, що мова, що відповідає моделям із кліками, має певну мінімальну складність в ієрархії …
2
Чи регулярна мова слів, що містять рівну кількість 001 та 100?
Мені було цікаво, коли мови, які містять однакову кількість примірників двох підрядків, будуть регулярними. Я знаю, що мова, що містить рівну кількість 1s та 0s, не є регулярною, але є такою мовою, як , де = кількість екземплярів підрядка "001" дорівнює кількості екземплярів підрядки " 100 " регулярно? Зауважте, що …
3
Що б ви отримали, якщо додати параметри до контекстних граматик?
Я думав про граматики для чутливих до індендації мов, і схоже, що граматики CF виконають трюк у поєднанні з параметрами. Як приклад, розглянемо цей фрагмент для спрощеної граматики Python у форматі, подібному до ANTLR: // on top-level the statements have empty indent program : statement('')+ ; // let's consider only …
2
Чи є одинарна мова регулярною, якщо її показник є лінійною функцією?
Під час виконання поточного завдання для моїх офіційних мов та курсів автоматів я наче зациклювався на вправах, що стосуються одинарних мов (я сподіваюся, що це правильний термін), тобто мов, які будуються на одній букві. Я не хочу питати про конкретні вправи, але, скоріше, про набагато більш загальну думку, яку я …
2
Як слово "виробництво" виявилося синонімом слова "правило" в контексті інформатики?
Я вивчаю формальні мови та системи виробничих баз (системи баз правил), і я трохи збентежений, чому ці два слова "виробництво" та "правило" означають одне і те ж у багатьох контекстах інформатики. Англійська мова, схоже, не означає те саме. Я не є носієм англійської мови, але я знаю, що правило посилається …
3
невирішувану проблему та її заперечення не можна визначити
Тим не менш, багато "відомих" невирішених проблем є, як мінімум, нерозбірливими, їх доповнення не можна визначити. Одним із прикладів може бути проблема зупинки та її доповнення. Однак чи може хтось надати мені приклад, в якому і проблема, і її доповнення не можна визначити і не можна вирішити? Я думав про …
1
Як знайти найкоротше представлення для підмножини живлення?
Я шукаю ефективний алгоритм для наступної проблеми або доказ твердості NP. Нехай - множина, а - набір підмножин \ Sigma . Знайдіть послідовність w \ in \ Sigma ^ * найменшої довжини, такою, що для кожного L \ в A є k \ in \ mathbb {N} така, що \ …
4
Мостові теореми для теорії груп та формальних мов
Чи існує якийсь природний чи помітний спосіб зв’язати чи зв’язати математичні групи та формальні мови CS чи якусь іншу основну концепцію CS, наприклад, машини Тьюрінга? Шукаю посилання / програми. Однак зауважте, що мені відомо про зв’язок між напівгрупами та мовами CS (а саме через обмежені автомати ). (Чи ця література …
1
що таке семантика?
Є багато популярних мов. Але, вчені-комп’ютери говорять нам, що для того, щоб зрозуміти поведінку програм на цих мовах однозначно і недвозначно сперечатися з поведінкою програми (наприклад, довести їх ідентичність), нам потрібно перекласти їх на іншу, добре зрозумілу мову. Вони називають таку мову "семантикою". Автори пропонують одну з багатьох семантик. Вони …
2
Закриття проти правого коефіцієнта з фіксованою мовою
Я дуже люблю вашу допомогу з наступним: Для будь-якого фіксованого мені потрібно вирішити, чи є закриття під такими операторами: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 ∣ ∃ …
1
Чи може POSIX BRE виражати всі звичайні мови?
Здається, що "Основні регулярні вирази", визначені POSIX.1-2008 , не підтримують чергування a|b(хоча деякі греп-реалізації розпізнають уникнуту версію, \|). Оскільки звичайні мови за визначенням закриті союзом, чи означає це, що POSIX BRE має меншу виражальну силу, ніж кінцевий автомат? Або є якийсь спосіб імітувати чергування за допомогою інших конструкцій?
4
Чому в Regexes немає перестановки? (Навіть якщо звичайні мови, здається, можуть це зробити)
Проблема Немає простого способу отримати перестановку за допомогою регексу. Перестановка: отримання слова w=x1…xnw=x1…xnw=x_1…x_n ("aabc") в інший порядок, не змінюючи числа чи виду літер. Регекс: регулярне вираження. Для перевірки: "Перестановки Regex без повторень" Відповідь створює код JavaScript замість регулярного вираження, припускаючи, що це буде простіше. "Як знайти всі перестановки даного слова …
3
Регулярні мови, які неможливо виразити лише за допомогою двох операцій регулярного виведення
Я думав, що всі регулярні мови можуть бути виражені регулярними виразами (якщо мова є регулярною, це можна виразити за допомогою регулярного вираження), але мені сказали, що для цього вам потрібні всі три регулярні операції (конкатенація, об'єднання та зірка). тримати. Наприклад, мені сказали, що якщо я можу використовувати лише операції згенерування …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.