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

формальні мови, граматики, теорія автоматів

4
Підрахунок слів, прийнятих звичайною граматикою
З огляду на звичайну мову (NFA, DFA, граматику чи регулярний вираз), як можна підрахувати кількість прийнятих слів на даній мові? Представляють інтерес як «з рівно n літерами», так і «з максимум n літерами». У Маргарети Акерман є дві статті на відповідну тему перерахування слів, прийнятих у НФА, але я не …
3
Чи існує розширення регулярних виразів, що фіксують вільні контекстні мови?
У багатьох працях, що стосуються безконтекстних граматик (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 …
5
Відновлення лісу розбору з аналізатора Ерлі?
Я нещодавно читав про парсер Earley і думаю, що це один з найелегантніших алгоритмів, які я бачив на сьогоднішній день. Однак алгоритм у його традиційному розумінні є розпізнавачем, а не парсером, це означає, що він може виявити, чи відповідає рядок відповідно до певного CFG, але не створити для нього розбір …
2
Контекстно чутливі граматики та типи
1) Який, якщо такий є, зв’язок між статичним набором тексту та формальними граматиками? 2) Зокрема, чи вдасться лінійно обмеженим автоматом перевірити, чи правильно було набрано програму C ++ або SML? Вкладений автомат стеків? 3) Чи існує природний спосіб виразити статичні правила набору тексту у формальній граматиці?
1
складність половинної мови
Для будь-якої мови над визначте На словах складається з усіх , для яких є однакової довжини таким чином, що .LLLΣ∗Σ∗\Sigma^*L1/2={x∈Σ∗:xy∈L,y∈Σ|x|}.L1/2={x∈Σ∗:xy∈L,y∈Σ|x|}.L_{1/2} = \{x \in \Sigma^* : xy\in L, y\in\Sigma^{|x|} \}.L1/2L1/2L_{1/2}xxxyyyxy∈Lxy∈Lxy\in L Вправа в книзі Сіпсера просить показати, що є регулярним, коли є. Я бачив два чіткі рішення, і обидва передбачають експоненціальний …
1
Мови, розпізнані DFA поліноміального розміру
Для фіксованого кінцевого алфавіту , формальний мову над є регулярним , якщо існує детермінований кінцевий автомат (ДКА) над , яка приймає рівно .ΣΣ\SigmaLLLΣΣ\SigmaΣΣ\SigmaLLL Мене цікавлять мови, які «майже» регулярні, в тому сенсі, що їх можна розпізнати за допомогою сімейства автоматизованих розмірів, що зростає лише поліноміально з довжиною слова. Формально, дозвольте …
6
Передові методики визначення складності нижчих меж
Деякі з вас, можливо, стежили за цим питанням , яке було закрито через відсутність рівня досліджень. Отже, я витягую частину питання, що знаходиться на дослідницькому рівні. Поза "простішими" методами, такими як зменшення до сортування або завдання, повне EXPTIME, які методи були використані для доведення нижчих меж для часової складності проблеми? …
1
Чи можна розбирати всі однозначні граматики за лінійним часом?
Під час майстерності з неканонічним синтаксичним розбором LR я придумав метод розбору (з нескінченними розмірами таблиць, що робить його дещо непрактичним ), здатний розбирати точно однозначні граматики за час , і мені було цікаво, чи можна це зробити краще:О ( н.)2)О(н2)O(n^2) Чи можна розбирати всі однозначні граматики за лінійним часом? …
2
Номер протоколу розділу та детермінованої складності зв'язку
Окрім (детермінованої) складності зв'язку відношення R , ще одним основним показником кількості необхідного зв'язку є номер розділу протоколу p p ( R ) . Зв'язок між цими двома заходами відомий до постійного чинника. Монографія Кушилевіца і Нісана (1997) даєc c ( R )cc(R)cc(R)RRR p p ( R )pp(R)pp(R) c c …
3
Регулярні мови з категоріально-теоретичної точки зору
Я зауважив, що звичайні мови над алфавітом природно, можна розглядати як пори, і справді решітку. Більше того, конкатенація разом із порожньою мовою визначає сувору моноідальну структуру для цієї категорії, яка є розподільною по об'єднанням (я не впевнений, що відповідає). Це корисна конструкція в теорії чи практиці регулярних мов? Чи є …
4
Доведення накачування леми для без контекстних мов за допомогою автоматичних натискань
Насосна лемму для регулярних мов можна довести, розглядаючи кінцевий автомат, що розпізнає мову вивчав, вибираючи рядок з довжиною більше , ніж його число станів, і застосуванням принципу Діріхле. Але накачана лема для контекстних мов (як і лемма Огдена, яка є дещо більш загальною), проте доводиться, розглядаючи безконтекстну граматику вивченої мови, …
5
Спеціальний клас мов: «кругові» мови. Чи відомо?
Визначте наступний клас "кругових" мов над кінцевим алфавітом Sigma. Власне, назва вже існує для позначення іншої речі, яку, здається, використовується в галузі обчислення ДНК. AFAICT, це інший клас мов. Мова L - круговий iff для всіх слів у , ми маємо:w Σ ∗wwΣ∗\Sigma^* шww належить L, якщо і тільки якщо …
1
Чи можна визначити еквівалентність однозначних без контекстних мов?
Добре відомо, що проблема загальної еквівалентності не може бути вирішена для загальних без контекстних мов. Однак усі підтвердження цього факту, про які я знаю, містять неоднозначні граматики без контексту. З цієї причини я хотів би запитати, чи відомо, чи залишається проблема невирішеною, обмежуючи себе однозначними без контексту мовами. Тобто, враховуючи …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.