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

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

1
Доказательство замыкания при обращении языков, принятых автоматами min-heap
Это дополнительный вопрос этого . В предыдущем вопросе об экзотических конечных автоматах Алекс тен Бринк и Рафаэль обратились к вычислительным возможностям особого вида конечного автомата: автоматов с минимальной кучей. Они смогли показать, что набор языков, принимаемых такими машинами ( HALHALHAL ), не является ни подмножеством, ни надмножеством набора языков без …
3
Бесконечный язык против конечного языка
Мне неясно, как используются фразы «бесконечный» язык или «конечный» язык в компьютерной теории. Я думаю, что корень проблемы в том, что такой язык, как , бесконечен в том смысле, что он может генерировать бесконечное (но счетное) количество строк. Тем не менее, он все еще может быть распознан конечным автоматом.L={ab}∗L={ab}∗L=\{ab\}^* Также …
3
Поиск примеров «антипалиндромных» языков
Пусть . Язык Говорят , обладает свойством «анти-палиндром» , если для каждой строки , что является палиндром, . Кроме того, для каждой строки которая не является палиндромом, либо либо , но не оба (!) (Исключая или).L ⊆ Σ ∗ w w ∉ L u u ∈ L R e v …
2
Клини звездная операция на пустом языке
В моем учебнике упоминается, что: где - пустой язык.∅*= { ϵ }∅*знак равно{ε}\emptyset^*=\{\epsilon\}∅∅\emptyset Однако мы знаем, что , где - любой язык.L ⋅ ∅ = ∅L⋅∅знак равно∅L \cdot \emptyset = \emptysetLLL Я не могу интуитивно понять эту концепцию, потому что операция звезды Клини указывает на тот факт, что .∅*= ∅0∪ …
1
Вычислительная мощность детерминированных и недетерминированных автоматов с минимальной кучей
Это дополнительный вопрос этого . В предыдущем вопросе об экзотических конечных автоматах Алекс тен Бринк и Рафаэль обратились к вычислительным возможностям особого вида конечного автомата: автоматов с минимальной кучей. Они смогли показать, что множество языков, принятых на таких машинах ( ), не является ни подмножеством, ни надмножеством набора языков без …
2
Количество слов заданной длины на обычном языке
Существует ли алгебраическая характеристика числа слов заданной длины в обычном языке? Википедия приводит результат несколько неточно: Для любого регулярного языка существуют константы и многочлены таким образом, что для каждого п числа s_L (п) из слова длины n в L удовлетворяют уравнению s_L (n) = p_1 (n) \ lambda_1 ^ n …
2
Разрешаемые неконтекстно-зависимые языки
Можно утверждать, что большинство языков, созданных для описания повседневных проблем, являются контекстно-зависимыми. С другой стороны, возможно и нетрудно найти некоторые языки, которые не являются рекурсивными или даже не рекурсивно-перечислимыми. Между этими двумя типами находятся рекурсивные, не зависящие от контекста языки. Википедия дает один пример здесь : Примером рекурсивного языка, который …
3
Каковы возможные наборы длин слов в обычном языке?
Для языка LLL определите множество длин как множество длин слов в : L L S ( L ) = { | ты | | U ∈ L }LLLLLLL S (L)={ | ты | |U∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} Какие наборы целых чисел могут быть набором длины обычного …
2
Каково происхождение λ для пустой строки?
Я обычно использую символ для пустой строки (пустое слово или нулевая строка). Но я знаю, что некоторые люди используют λ вместо ε .εε\varepsilonλλ\lambdaεε\varepsilon Я думаю, что происходит от слова «пустой». Однако я не знаю, каково происхождение λ .εε\varepsilonλλ\lambda В теории автоматов существует эпсилон-переход автоматов, и он также называется лямбда-переходом. Например, …
1
Количество разных обычных языков
Учитывая алфавит , сколько существует различных регулярных языков, которые могут быть приняты недетерминированным конечным автоматом с n состояниями?Σ={a,b}Σ={a,b}\Sigma = \{ a,b \}nnn В качестве примера рассмотрим . Затем у нас есть 2 18 различных конфигураций перехода и 2 3 различных конфигурации начального и конечного состояний, поэтому у нас есть верхняя …
2
Что такое IELR (1) -парсер?
Я пытаюсь научить себя использованию зубров. На странице man bison (1) говорится о зубре: Создайте детерминированный LR или обобщенный анализатор LR (GLR) с использованием таблиц LALR (1), IELR (1) или канонических LR (1). Что такое IELR-парсер? Все соответствующие статьи, которые я нашел во всемирной паутине, оплачиваются.
1
Когда
Согласно статье в Википедии , L в означает «сканирование слева направо», а «R» означает «крайний правый вывод». Однако в оригинальной статье Кнута по грамматике L R ( k ) он определяет язык L R ( k ) (на стр. 610) как язык, который «переводим слева направо с ограничением k ».L …
2
Всегда ли наборы до и после для контекстно-свободных грамматик всегда контекстно-свободны?
Пусть GGG - не зависящая от контекста грамматика. Строка терминалов и нетерминалов из GGG называется быть сентенциальная формой из GGG , если вы можете получить его путем применения постановки GGG нуля или более раз для начального символа SSS . Пусть SF(G)SF⁡(G)\operatorname{SF}(G) множество пропозициональных форм GGG . Пусть α∈SF(G)α∈SF⁡(G)\alpha \in \operatorname{SF}(G) …
1
Вычислительная сложность против иерархии Хомского
Меня интересует связь между вычислительной сложностью и иерархией Хомского в целом. В частности, если я знаю, что какая-то проблема является NP-полной, следует ли из этого, что язык этой проблемы не является контекстно-свободным? Например, проблема клики является NP-полной. Следует ли из этого, что язык, соответствующий моделям с кликами, имеет некоторую минимальную …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.