Вопросы с тегом «fl.formal-languages»

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

1
Какова предполагаемая связь между языками P (PTime) и Type 1 (контекстно-зависимыми)?
Неизвестно, является ли или , гдеP⊆CSLP⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL PPP - это множество всех языков, разрешимых за полиномиальное время на детерминированной машине Тьюринга, и CSLCSLCSL - это класс контекстно-зависимых языков, который, как известно, эквивалентен NSPACE(O(n))NSPACE(O(n))NSPACE(O(n)) , языкам, выбранным с помощью линейно-ограниченных автоматов. Для многих открытых вопросов существует тенденция к одному ответу …

3
Трудность найти слово длины не более
Постановка задачи : Позволять MMM быть (потенциально недетерминированным) автоматом и AA\cal Aбыть его входным алфавитом. Есть ли словоw∈A∗w∈A∗w \in \cal A^* улица |w|≤k|w|≤k|w| \leq k что принято MMM ? Эта проблема NP-полная? Было ли это изучено? Есть ли алгоритм, позволяющий найти такое слово?

3
Непрерывная математика и теория формального языка
Есть ли какие-то результаты по решению задач формальных языков с использованием математического анализа, непрерывной математики. Например, решение проблемы непустоты пересечения для языка без контекста и обычного языка.

1
Есть ли способ доказательства нерегулярности строковых преобразований?
Существует множество различных моделей для определения преобразований между языками. Конечные преобразователи состояния и определяемые MSO преобразования графов над строковыми графами - это те два, с которыми я лучше всего знаком. Мы знаем, что двухсторонние конечные преобразователи состояния (которые более выразительны, чем их односторонние аналоги) и определяемые MSO строковые преобразования захватывают …

1
Обобщение утверждения, что моноид распознает язык, если синтаксический моноид делит моноид
Позволять AAAбыть конечным алфавитом. Для данного языкаL ⊆A*L⊆A∗L \subseteq A^{\ast}синтаксический Моноид M( Л )M(L)M(L)является известным понятием в теории формального языка. Кроме того, моноидMMM признает язык LLL если существует морфизм φ :A*→ Мφ:A∗→M\varphi : A^{\ast} \to M такой, что L =φ- 1( φ ( L ) ) )L=φ−1(φ(L)))L = \varphi^{-1}(\varphi(L))), Тогда …

1
Асимптотическая плотность неоднозначных контекстно-свободных грамматик (CFG)
Каково соотношение неоднозначных CFG к всем CFG ? Поскольку оба множества счетно бесконечны, соотношение не является четко определенным. Но как насчет асимптотической плотности : limn↦∞# ambiguous CFG of size&lt;n# CFG of size&lt;nlimn↦∞# ambiguous CFG of size&lt;n# CFG of size&lt;n\lim_{n \mapsto \infty}\frac {\# \text{ ambiguous CFG of size} < n} {\# …

2
Почему необходим недетерминизм (автоматы выталкивания вниз)?
Хотелось бы знать, почему для распознавания контекстно-свободных языков работают только недетерминированные автоматы push-down (DPA = NPDA). Почему детерминированные автоматы (DPDA) не распознают такие языки?

3
Примеры полуколец из теории формального языка
Я изучаю алгебраическую теорию разбора. Моя первая проблема - это определение примеров полукольца, специфичных для теории формального языка. Вот попытка построить два примера. 1 При заданной грамматике CNF элементами полукольца являются наборы терминальных и нетерминальных символов с операциями: i) Умножение , объединяющее два набора попарно в соответствии с правилом CYK. …

1
Регулярные выражения без чередования
Мне было интересно, какие наборы языков генерируются ограничениями регулярных выражений. Предположим, что все ограничения имеют постоянный символ для каждого элемента и конкатенации. Тогда восемь классов могут быть сформированы наличием или отсутствием дополнения / отрицания, изменения / объединения и звезды Клини. (Да, у «обычных» регулярных выражений нет оператора , но здесь …

2
Метод нормальной формы Хомского: влияние на производительность анализатора CYK?
Парсеры диаграмм могут быть реализованы на основе нормальной формы Хомского или непосредственно на основе правил производства. Предположим на данный момент, что у нас есть анализатор диаграмм CYK, который использует нормальную форму Хомского. Бинаризация не определяется однозначно. Влияет ли это на производительность разбора диаграммы CYK. Можно ли это использовать для повышения …

1
Существуют ли CFG полиномиального размера, которые описывают этот конечный язык?
Есть ли перестановки π1,π2π1,π2\pi_1,\pi_2 и полиномиальный размер (в |w|=n|w|=n|w|=n) контекстно-бесплатная грамматика, описывающая конечный язык {wπ1(w)π2(w)}{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\} по алфавиту {0,1}{0,1}\{0,1\}? ОБНОВЛЕНИЕ: для одной перестановки ππ\pi это возможно. ππ\pi является разворотом или относительно незначительной модификацией разворота.

4
Почему линейные ограниченные автоматы не так популярны, как другие автоматы?
По моему опыту, контекстно-зависимые языки и линейно-ограниченные автоматы часто пропускаются или зацикливаются на курсах теории вычислимости, и даже не учтены в некоторых заметных учебниках, хотя конечным автоматам и автоматам с выталкивающими функциями уделяется много внимания. Конечно, должна быть веская причина, почему LBA уделяется меньше внимания, чем их коллегам?
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.