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

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

1
Может ли постоянная неоднозначность уменьшить сложность состояния обычных языков?
Мы говорим , что НКА является постоянно Неоднозначность , если существует K ∈ N такое , что любое слово W ∈ Е * принимается либо 0 или (точно) К путям.MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Если автомат постоянно неоднозначен при k = 1 , то M называется однозначным FA (UFA).MMMk=1k=1k=1MMM Пусть обычный язык.LLL …
2
Насколько маленьким может быть NFA по сравнению с минимальным однозначным конечным автоматом (UFA) того же обычного языка?
Однозначные конечные автоматы (UFA) - это особый тип недетерминированных конечных автоматов (NFA). NFA называется однозначным, если каждое слово имеет не более одного приемлемого пути.w ∈ Σ*вес∈Σ*w\in \Sigma^* Это означает , что .D FA ⊂ UFA ⊂ NFADFA⊂UFA⊂NFADFA\subset UFA\subset NFA Известные связанные результаты автоматов: Минимизация NFA - PSPACE-Complete. Минимизация NFA над …
1
Существуют ли варианты визуально выпадающих автоматов, которые позволяют помещать слова в стек?
Мне интересно, есть ли какие-либо статьи или исследования, посвященные явно выталкивающим автоматам, но позволяющие помещать слова, а не отдельные буквы, в стек. С другой стороны, конструкция, которая позволяла нажимать символы на ϵϵ\epsilon переходы, могла бы достичь той же цели. Очевидно, что такие вариации могут быть сформированы, но мне интересно, разрушает …
1
Контекстно-зависимая грамматика для SAT?
Классическим результатом Куроды является то, что класс сложности NSPACE [ ]NNn (также известный как NLIN-SPACE) является именно классом CSL контекстно-зависимых языков . Задача выполнимости SAT находится в NSPACE [ ], так как предположение линейного размера для решения может быть проверено не более чем с линейной величиной накладных расходов для учета. …
2
Перестановочные фразы с разбором LR
Фраза перестановки является расширением стандартных (E) определений грамматики без контекста BNF: фраза перестановки содержит произведений (или, что то же самое, нетерминалов) от до . В позиции фразы перестановки мы хотели бы видеть каждое из этих произведений ровно один раз, но нас не интересует порядок этих нетерминалов.{A1,…,An}{A1,…,An}\{ A_1, \dots, A_n \}nnnA1A1A_1AnAnA_n …
1
Эффективная конкатенация ДФА?
Существует теоретическое доказательство того, что наивная декартова конструкция продукта для пересечения DFAs - «лучшее, что мы можем сделать». А как насчет объединения двух DFA? Тривиальная конструкция включает в себя преобразование каждого DFA в NFA, добавление эпсилон-перехода и определение результирующего NFA. Можем ли мы сделать лучше? Существует ли известная граница для …
2
Гипотеза Коллатца и Грамматика / Автоматы
Мне было интересно, есть ли хорошая библиография попыток исследовать гипотезу Коллатца как формальную грамматику? (или любые другие попытки в сообществе CS иметь дело с этим классом порождающих явлений и их «препятствующими» свойствами).
1
Полнота и контекстно-зависимые языки.
Меня интересуют два вопроса относительно контекстно-зависимых языков (CSL) и полноты: Существует ли понятие полноты для CSL и какие языки являются законченными? Существуют ли естественные CSL, которые являются NP-полными? Для 2. я, конечно, могу думать о естественных NP-полных языках, которые являются CSL (так как CSL равен NSPACE [ ], SAT - …
1
Сравнивался рост числа синтаксических классов и классов Nerode.
Для языка L ⊆ Σ ^ * определите синтаксическую конгруэнцию ≡ в L как наименьшую конгруэнцию на Σ ^ *, которая насыщает L , т.е. u ≡ v ⇔ (∀ x, y) [xuy ∈ L ↔ xvy ∈ L]. Теперь определим эквивалентность Nerode как следующее правильное сравнение: u ∼ v …
3
Несводимые языки
Это не обязательно вопрос исследования. Просто вопрос из любопытства: Я пытаюсь понять, можно ли определить «неприводимые» языки. В качестве первого предположения я называю язык L «сводимым», если он может быть записан как L = A ⋅ BL=A⋅BL = A \cdot B с и , в противном случае называю язык «неприводимым». …
2
Есть ли четко определенная операция деления на конечных автоматах?
Фон: Учитывая два детерминированных конечных автомата A и B, мы формируем произведение C, позволяя состояниям в C быть декартовым произведением состояний в A и состояний в B. Затем мы выбираем переходы, начальное состояние и конечные состояния, так что язык, принятый C является пересечением языков для A и B. Вопросов: (1) …
2
минимизация размера регулярного выражения для конечных множеств
Известно, что минимизация размера регулярного выражения является PSPACE-полной, даже если у нас есть DFA в качестве спецификации языка . Каковы результаты, если язык конечен? Можно рассмотреть эту проблему в двух моделях: Входные данные - это все строки в языке, и мы измеряем размер ввода как сумму длины всех строк. Входные …
2
Büchi автомат с приемной стратегией
Проблема Пусть - автомат Büchi, распознающий язык . Мы предполагаем , что имеет стратегию приема в следующем смысле: существует функция , которые могут быть использованы для пилотных серий . Мы формализуем это следующими условиями:L ⊆ Е ш σ : Е * → QA=⟨Σ,Q,q0,F,Δ⟩A=⟨Σ,Q,q0,F,Δ⟩A=\langle \Sigma, Q, q_0,F,\Delta\rangleL⊆ΣωL⊆ΣωL\subseteq\Sigma^\omegaAAAσ:Σ∗→Qσ:Σ∗→Q\sigma:\Sigma^*\to QAAA σ(ϵ)=q0σ(ϵ)=q0\sigma(\epsilon)=q_0 для всех …
3
Прогресс в обобщенной проблеме звездной высоты?
(Обобщенная) высота звезды в языке - это минимальная вложенность звезд Клини, необходимая для представления языка расширенным регулярным выражением. Напомним, что расширенное регулярное выражение над конечным алфавитом удовлетворяет следующему:AAA (1) и - расширенные регулярные выражения для всех∅,1∅,1\emptyset, 1aaaa∈Aa∈Aa\in A (2) Для всех расширенных регулярных выражений ; , , и - расширенные …
4
Представления Base-k в совместной области многочлена - это контекстно-свободный?
В главе 4 Второго курса Джеффри Шаллита по теории автоматов следующая проблема указана как открытая: Пусть - многочлен с рациональными коэффициентами, такой что для всех . Докажите или опровергните, что язык представлений base-k всех целых чисел в зависит от контекста, если и только если степень p равна \ leqslant 1 …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.