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

Вопросы о свойствах класса обычных языков и отдельных языков.

10
Как доказать, что язык не является регулярным?
Мы узнали о классе обычных языков . Он характеризуется каким-либо одним понятием среди регулярных выражений, конечных автоматов и леволинейных грамматик, поэтому легко показать, что данный язык является регулярным.REGREG\mathrm{REG} Как мне показать обратное, хотя? Мой ТА был непреклонен, что для этого нам нужно было бы показать для всех регулярных выражений (или …

8
Как доказать, что язык является регулярным?
Есть много способов доказать, что язык не является регулярным , но что мне нужно сделать, чтобы доказать, что какой-то язык является регулярным? Например, если мне дано, что регулярно, как я могу доказать, что следующее регулярно?LLLL'L′L' L': = { w ∈ L : u v = w для u ∈ Σ*∖ …

2
Плоские регулярные языки
В моем классе студент спросил, можно ли нарисовать все конечные автоматы без пересекающихся граней (кажется, все мои примеры это делали). Конечно, ответ отрицательный, очевидный автомат для языка имеет структуру , полный граф на пяти узлах , Юваль показал похожую структуру для родственного языка.{x ∈ { a , b }*∣ #a( …

5
Могут ли обычные языки быть завершенными по Тьюрингу?
Я читал о Йоте и Джоте и нашел этот раздел запутанным: В отличие от Iota, где синтаксическое дерево для строки может разветвляться либо слева, либо справа, синтаксис Jot равномерно разветвляется слева. В результате, Йота не зависит от контекста, но Йот - это обычный язык. Насколько я понимаю, и Йота, и …

2
Почему обычный язык называется «обычный»?
Я только что закончил первую главу « Введение в теорию вычислений » Майкла Сипсера, в которой объясняются основы конечных автоматов. Он определяет обычный язык как что-либо, что может быть описано конечными автоматами. Но я не мог найти, где он объясняет, почему обычный язык называется «обычный»? Каково происхождение термина «регулярный» в …

1
Асимптотика числа слов в обычном языке заданной длины
Для обычного языка , пусть с п ( Ь ) быть число слов в L длины п . Используя Jordan канонической форму (применительно к Неаннотированным матрицам перехода некоторого DFA для L ), можно показать , что при достаточно большой п , с п ( L ) = K Е я …

1
«Плотные» регулярные выражения порождают
Вот гипотеза для регулярных выражений: Для регулярного выражения пусть длина | R | быть количеством символов в нем, игнорируя скобки и операторы. Например | 0 ∪ 1 | = | ( 0 ∪ 1 ) ∗ | = 2ррR| R ||р||R|| 0∪1 | = | (0∪1 )*| =2|0∪1|знак равно|(0∪1)*|знак равно2|0 …

3
Каковы условия для NFA, чтобы его эквивалентный DFA был максимальным по размеру?
Мы знаем, что DFAs эквивалентны NFAs в силе выразительности; Существует также известный алгоритм для преобразования NFA в DFA (к сожалению, я теперь знаю изобретателя этого алгоритма), который в худшем случае дает нам состояния, если у нашего NFA было S состояний.2S2S2^SSSS Мой вопрос: что определяет наихудший сценарий? Вот транскрипция алгоритма в …

3
Насосная лемма для простых конечных регулярных языков
В Википедии есть следующее определение леммы прокачки для регулярных языков ... Пусть обычный язык. Тогда существует целое число ≥ 1, зависящее только от , так что каждая строка в длиной не менее ( называется «длиной накачки») может быть записана как = (т. можно разделить на три подстроки), удовлетворяющих следующим условиям:LLLL …

4
Использование леммы прокачки для доказательства языка не является регулярным
Я пытаюсь использовать насосную лемму, чтобы доказать, что не является регулярным.L = { ( 01 )м2м∣ m ≥ 0 }L={(01)m2m∣m≥0}L = \{(01)^m 2^m \mid m \ge0\} Это то, что я имею до сих пор: Предположим, что регулярна, и пусть будет длиной накачки, поэтому . Рассмотрим любое накачанное разложение такое, что …

3
Этот язык определен с использованием одинарных простых чисел?
Позволять L={an∣∃p≥n p, p+2 are prime}.L={an∣∃p≥n p, p+2 are prime}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. Является регулярным?LLL На первый взгляд этот вопрос выглядел подозрительно, и я понял, что он связан с гипотезой о двойном простом числе . Моя проблема в том, что эта …

4
Как показать, что «обратный» регулярный язык является регулярным
Я застрял в следующем вопросе: «Регулярные языки - это как раз те, которые принимаются конечными автоматами. Учитывая этот факт, покажите, что если язык принят некоторым конечным автоматом, то также будет принят некоторым конечным; состоит из всех слов». из необратима «.L R L R LLLLLRLRL^{R}LRLRL^{R}LLL

1
Регулярные выражения с обратными ссылками над унарным алфавитом
Установка: регулярные выражения с обратными ссылками одинарный язык (1-символьный алфавит) В этом параметре разрешима следующая проблема: Если задано регулярное выражение с обратными ссылками, определяет ли оно регулярный язык? Например, (aa+)\1определяет обычный язык, а (aa+)\1+не -. Можем ли мы решить, какой из них имеет место? Для конкретности «регулярные выражения с обратными …


3
Количество слов в обычном языке
Согласно Википедии , для любого регулярного языка существуют константы и полиномы такие что для каждого число слов длины в удовлетворяет уравнениюLLLλ1,…,λkλ1,…,λk\lambda_1,\ldots,\lambda_kp1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\ldots,p_k(x)nnnsL(n)sL(n)s_L(n)nnnLLL sL(n)=p1(n)λn1+⋯+pk(n)λnksL(n)=p1(n)λ1n+⋯+pk(n)λkn\qquad \displaystyle s_L(n)=p_1(n)\lambda_1^n+\dots+p_k(n)\lambda_k^n . Язык является регулярным (ему соответствует ). если n четно, а противном случае.L={02n∣n∈N}L={02n∣n∈N}L =\{ 0^{2n} \mid n \in\mathbb{N} \}(00)∗(00)∗(00)^*sL(n)=1sL(n)=1s_L(n) = 1sL(n)=0sL(n)=0s_L(n) = 0 Тем не менее, …

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.