Построение регулярного выражения

@DariaGris · Регистрация: 24.09.2016

Студворк — интернет-сервис помощи студентам

Здравствуйте, у меня есть грамматика и я должна построить по ней регулярное выражение
$https://www.cyberforum.ru/cgi-bin/latex.cgi?S\rightarrow bbAaa A\rightarrow DB|C B\rightarrow C|\varepsilon: B={(bb)}^{*}{(aa)}^{+}+{bb}^{+}{aa}^{*}+\epsilon C\rightarrow Daa|bbD :C={(bb)}^{*}{(aa)}^{*}aa+bb{(bb)}^{*}{(aa)}^{*}={(bb)}^{*}{(aa)}^{+}+{bb}^{+}{aa}^{*} D\rightarrow bbD|E :D={(bb)}^{*}{(aa)}^{*} E\rightarrow aaE|\varepsilon :E={(aa)}^{*}$

Скажите могу ли я в грамматике B написать что {(bb)}^{*}{(aa)}^{+}+{bb}^{+}{aa}^{*}+\e psilon ={(bb)}^{*}{(aa)}^{+}+{bb}^{+}{aa}^{*}?? ? или нет ?
и потом если я строю регулярное выражение А у меня там повторяются значения я могу их сократить так сказать ?? или нет ??

@3D Homer · 13.11.2017, 18:26

Сообщение от DariaGris

{(bb)}^{*}{(aa)}^{+}+{bb}^{+}{aa}^{*}+\e psilon ={(bb)}^{*}{(aa)}^{+}+{bb}^{+}{aa}^{*}

Почему вы не обернули эту формулу в тэги LATEX??? И почему вы думаете, что это равенство верно?? Или хотя бы почему вы хотите, чтобы оно было верно???? Последнее aa должно быть в скобках.

Сообщение от DariaGris

если я строю регулярное выражение А у меня там повторяются значения я могу их сократить так сказать ??

Что вы под этим имеете в виду¿¿¿

@DariaGris · 13.11.2017, 18:42 **[ТС]**

3D Homer, забыла про тэги,
$https://www.cyberforum.ru/cgi-bin/latex.cgi?{(bb)}^{*}{(aa)}^{+}+{(bb)}^{+}{(aa)}^{*}+\epsilon ={(bb)}^{*}{(aa)}^{+}+{(bb)}^{+}{(aa)}^{*}$ я рассуждаю так:у меня есть же уже итерации {(bb)}^{*} или вот {(аа)}^{*} это же операция итерации и в ней по определению есть пустая цепочка и если мы ее добавим ко всему выражению то ничего не изменится, поэтому я и подумала что мы можем ее убрать. Но я в это не уверена и поэтому спрашиваю могу ли я это сделать или я не правильно понимаю это действие.
А насчет выражение А
получается вот что
$https://www.cyberforum.ru/cgi-bin/latex.cgi?A\rightarrow DB|C :A={(bb)}^{*}{(aa)}^{*}*({(bb)}^{*}{(aa)}^{+}+{(bb)}^{+}{(aa)}^{*})+({(bb)}^{*}{(aa)}^{+}+{(bb)}^{+}{(aa)}^{*})$ это с учетом что в В я уберу епсилон.
и тут у меня одинаковые слагаемые. и я опять же могу сократить выражение или нет ( у нас же повторяются тут $https://www.cyberforum.ru/cgi-bin/latex.cgi?{(bb)}^{*}{(aa)}^{*}$ ??

@3D Homer · 13.11.2017, 18:50

Действительно, для любого регулярного выражения $https://www.cyberforum.ru/cgi-bin/latex.cgi?e$ имеет место $https://www.cyberforum.ru/cgi-bin/latex.cgi?e^*+\epsilon=e^*$ . Но у вас же слагаемые имеют вид не $https://www.cyberforum.ru/cgi-bin/latex.cgi?e^*$ , а $https://www.cyberforum.ru/cgi-bin/latex.cgi?e^*f^+$ для некоторого другого выражения $https://www.cyberforum.ru/cgi-bin/latex.cgi?f$ . Пустое слово не входит в язык $https://www.cyberforum.ru/cgi-bin/latex.cgi?{(bb)}^{*}{(aa)}^{+}+{(bb)}^{+}{(aa)}^{*}$ , т.к. слова минимальной длины в этом языке — это aa и bb.

Для любого выражения e имеет место e + e = e.

@DariaGris · 13.11.2017, 19:00 **[ТС]**

3D Homer, тогда у меня получиться вот так
$https://www.cyberforum.ru/cgi-bin/latex.cgi?B={(bb)}^{*}{(aa)}^{+}+{(bb)}^{+}{(aa)}^{*}+\varepsilon A\rightarrow DB|C:A={(bb)}^{*}{(aa)}^{*}*({(bb)}^{*}{(aa)}^{+}+{(bb)}^{+}{(aa)}^{*}+\varepsilon )+{(bb)}^{*}{(aa)}^{+}+{(bb)}^{+}{(aa)}^{*}$
но я не понимаю как мне сократить выражение А

Добавлено через 1 минуту
типо так??
$https://www.cyberforum.ru/cgi-bin/latex.cgi?A\rightarrow DB|C:A={(bb)}^{*}{(aa)}^{*}*({(bb)}^{*}{(aa)}^{+}+{(bb)}^{+}{(aa)}^{*}+\varepsilon )^{*}$

@3D Homer · 13.11.2017, 19:06

Можно раскрыть скобки. Тогда $https://www.cyberforum.ru/cgi-bin/latex.cgi?(bb)^*(aa)^*\epsilon=(bb)^*(aa)^*$ , а $https://www.cyberforum.ru/cgi-bin/latex.cgi?(bb)^*(aa)^*+(bb)^*(aa)^+=(bb)^*(aa)^*$ , т.к. язык $https://www.cyberforum.ru/cgi-bin/latex.cgi?(bb)^*(aa)^+$ содержится в $https://www.cyberforum.ru/cgi-bin/latex.cgi?(bb)^*(aa)^*$ .

Добавлено через 1 минуту

Сообщение от DariaGris

типо так??
$https://www.cyberforum.ru/cgi-bin/latex.cgi?A\rightarrow DB|C:A={(bb)}^{*}{(aa)}^{*}*({(bb)}^{*}{(aa)}^{+}+{(bb)}^{+}{(aa)}^{*}+\varepsilon )^{*}$

Почему вы так решили? В этой науке, как и в алгебре, можно использовать только те равенства, которые доказаны.

@DariaGris · 13.11.2017, 19:15 **[ТС]**

3D Homer, получается было $https://www.cyberforum.ru/cgi-bin/latex.cgi?A={(bb)}^{*}{(aa)}^{*}*({(bb)}^{*}{(aa)}^{+}+{(bb)}^{+}{(aa)}^{*}+\varepsilon )+({(bb)}^{*}{(aa)}^{+}+{(bb)}^{+}{(aa)}^{*})$ и я убираю последнее слагаемое (я же могу убрать последнее слагаемое??)
$https://www.cyberforum.ru/cgi-bin/latex.cgi?({(bb)}^{*}{(aa)}^{+}+{(bb)}^{+}{(aa)}^{*})$ и у меня остается $https://www.cyberforum.ru/cgi-bin/latex.cgi?A={(bb)}^{*}{(aa)}^{*}*({(bb)}^{*}{(aa)}^{+}+{(bb)}^{+}{(aa)}^{*}+\varepsilon )$ и я раскрываю скобки получается следующие:
$https://www.cyberforum.ru/cgi-bin/latex.cgi?A={(bb)}^{*}{(aa)}^{*}+{(bb)}^{*}{(aa)}^{*}+{(bb)}^{*}{(aa)}^{*}={(bb)}^{*}{(aa)}^{*}$ так ??

@3D Homer · 13.11.2017, 19:20

Сообщение от DariaGris

я же могу убрать последнее слагаемое?

Если вы не можете объяснить, почему его можно убрать, значит, вы не можете его убрать. Хотя в данном случае равенство верное, как я объяснил в сообщении 6.

Сообщение от DariaGris

я раскрываю скобки получается следующие:
$https://www.cyberforum.ru/cgi-bin/latex.cgi?A={(bb)}^{*}{(aa)}^{*}+{(bb)}^{*}{(aa)}^{*}+{(bb)}^{*}{(aa)}^{*}={(bb)}^{*}{(aa)}^{*}$ так ??

Не так. Сначала выучите законы на регулярных выражениях. Например, выясните, верно ли, что $https://www.cyberforum.ru/cgi-bin/latex.cgi?e(f+g)=ef+eg$ и $https://www.cyberforum.ru/cgi-bin/latex.cgi?ef=fe$ . Сейчас вы пишете равенства наугад.

@DariaGris · 13.11.2017, 19:43 **[ТС]**

3D Homer, я раскрывают скобки по дистрибутивному закону и поэтому записи $https://www.cyberforum.ru/cgi-bin/latex.cgi?{(bb)}^{*}{(aa)}^{*}*({(bb)}^{*}{(aa)}^{+}+{(bb)}^{+}{(aa)}^{*}+\varepsilon )={(bb)}^{*}{(aa)}^{*}+{(bb)}^{*}{(aa)}^{*}+{(bb)}^{*}{(aa)}^{*}={(bb)}^{*}{(aa)}^{*}$ идентичны а т.к. тут три одинаковые цепочки символов то я записала это как $https://www.cyberforum.ru/cgi-bin/latex.cgi?{(bb)}^{*}{(aa)}^{*}$

P.S.я не прошу вас решить, скажите просто в чем я не права или что мне нужно посмотреть, я хочу не тупо решить задание но и понять, что я делаю не правильно .

@3D Homer · 13.11.2017, 19:49

Я не знаю, что вы называете дистрибутивным законом, но равенство $https://www.cyberforum.ru/cgi-bin/latex.cgi?{(bb)}^{*}{(aa)}^{*}*({(bb)}^{*}{(aa)}^{+}+{(bb)}^{+}{(aa)}^{*}+\varepsilon )={(bb)}^{*}{(aa)}^{*}+{(bb)}^{*}{(aa)}^{*}+{(bb)}^{*}{(aa)}^{*}$ не является его частным случаем. И лучше не писать * для конкатенации. Вы пишете ее только один раз после первого $https://www.cyberforum.ru/cgi-bin/latex.cgi?(bb)^*(aa)^*$ . Обычно в определении регулярного выражения есть пункт: если e и f — рег. выражения, то ef также рег. выражение, без всякой *.

Добавлено через 1 минуту

Сообщение от DariaGris

скажите просто в чем я не права или что мне нужно посмотреть

Для начала установите, истинны ли равенства в конце сообщения 8.

@DariaGris · 13.11.2017, 20:17 **[ТС]**

3D Homer, то что вы мне написал если я правильно понимаю то
L(M+N)=LM+MN это левосторонний дистрибутивный закон конкатенации относительно объединения ( поэтому я могу открыть скобки).
а то что вы написали ef=fe я не пойму к чему применяется в моем примере
и не понимаю что мне надо сделать когда вы говорите установите истинны ли равенства

@3D Homer · 13.11.2017, 20:35

Сообщение от DariaGris

L(M+N)=LM+MN это левосторонний дистрибутивный закон конкатенации относительно объединения

Да. И равенство в сообщении 10 не является его частным случаем.

Сообщение от DariaGris

то что вы написали ef=fe я не пойму к чему применяется в моем примере
и не понимаю что мне надо сделать когда вы говорите установите истинны ли равенства

Серьезно? Вы прочитали в сообщении 4, что через e и f я обозначил произвольные регулярные выражения; то, что вы обозначили через L, M и N? И вы не знаете, как проверить, верно ли равенство ef = fe для произвольных регулярных выражений e и f? Я предложил рассмотреть это равенство, потому что предположил, что вы неявно использовали его при выводе равенства в сообщении 10.

Мы не говорим о каких-то сложных вещах здесь. Если есть закон x(y + z) = xy + xz, то нужно применять его буквально, то есть сопоставить выражение, которое у вас есть с левой частью, установить, чему равны x, y и z в конкретном случае и затем выписать правую часть для этих x, y, z. Но использовать таким образом можно только равенства, в которых вы уверены, которые вы можете доказать. Это учат в средних классах школы.

Новые блоги и статьи Все статьи Все блоги /
Модель микоризы: классовый агентный подход 3 anaschu 06.01.2026 aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114	Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .	Модель микоризы: классовый агентный подход 2 anaschu 06.01.2026 репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .	Расчёт токов в цепи постоянного тока igorrr37 05.01.2026 / * Дана цепь постоянного тока с сопротивлениями и напряжениями. Надо найти токи в ветвях. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа и решает её. Последовательность действий:. . .
Новый CodeBlocs. Версия 25.03 palva 04.01.2026 Оказывается, недавно вышла новая версия CodeBlocks за номером 25. 03. Когда-то давно я возился с только что вышедшей тогда версией 20. 03. С тех пор я давно снёс всё с компьютера и забыл. Теперь. . .	Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .

@DariaGris 1 / 11 / 0 Регистрация: 24.09.2016 Сообщений: 98

	Построение регулярного выражения 13.11.2017, 17:17. Показов 1154. Ответов 11 Метки нет (Все метки) Здравствуйте, у меня есть грамматика и я должна построить по ней регулярное выражение $https://www.cyberforum.ru/cgi-bin/latex.cgi?S\rightarrow bbAaa <br /> A\rightarrow DB\|C<br /> B\rightarrow C\|\varepsilon: B={(bb)}^{}{(aa)}^{+}+{bb}^{+}{aa}^{}+\epsilon <br /> C\rightarrow Daa\|bbD :C={(bb)}^{}{(aa)}^{}aa+bb{(bb)}^{}{(aa)}^{}={(bb)}^{}{(aa)}^{+}+{bb}^{+}{aa}^{}<br /> D\rightarrow bbD\|E :D={(bb)}^{}{(aa)}^{}<br /> E\rightarrow aaE\|\varepsilon :E={(aa)}^{}$ Скажите могу ли я в грамматике B написать что {(bb)}^{}{(aa)}^{+}+{bb}^{+}{aa}^{}+\e psilon ={(bb)}^{}{(aa)}^{+}+{bb}^{+}{aa}^{*}?? ? или нет ? и потом если я строю регулярное выражение А у меня там повторяются значения я могу их сократить так сказать ?? или нет ?? 0

@DariaGris 1 / 11 / 0 Регистрация: 24.09.2016 Сообщений: 98
	13.11.2017, 18:42 [ТС]
	3D Homer, забыла про тэги, $https://www.cyberforum.ru/cgi-bin/latex.cgi?{(bb)}^{}{(aa)}^{+}+{(bb)}^{+}{(aa)}^{}+\epsilon ={(bb)}^{}{(aa)}^{+}+{(bb)}^{+}{(aa)}^{}$ я рассуждаю так:у меня есть же уже итерации {(bb)}^{} или вот {(аа)}^{} это же операция итерации и в ней по определению есть пустая цепочка и если мы ее добавим ко всему выражению то ничего не изменится, поэтому я и подумала что мы можем ее убрать. Но я в это не уверена и поэтому спрашиваю могу ли я это сделать или я не правильно понимаю это действие. А насчет выражение А получается вот что $https://www.cyberforum.ru/cgi-bin/latex.cgi?A\rightarrow DB\|C :A={(bb)}^{}{(aa)}^{}({(bb)}^{}{(aa)}^{+}+{(bb)}^{+}{(aa)}^{})+({(bb)}^{}{(aa)}^{+}+{(bb)}^{+}{(aa)}^{})$ это с учетом что в В я уберу епсилон. и тут у меня одинаковые слагаемые. и я опять же могу сократить выражение или нет ( у нас же повторяются тут $https://www.cyberforum.ru/cgi-bin/latex.cgi?{(bb)}^{}{(aa)}^{*}$ ?? 0

@3D Homer $Эксперт по математике/физике$ 5016 / 3628 / 1164 Регистрация: 01.09.2014 Сообщений: 9,790
	13.11.2017, 18:50
	Действительно, для любого регулярного выражения $https://www.cyberforum.ru/cgi-bin/latex.cgi?e$ имеет место $https://www.cyberforum.ru/cgi-bin/latex.cgi?e^+\epsilon=e^$ . Но у вас же слагаемые имеют вид не $https://www.cyberforum.ru/cgi-bin/latex.cgi?e^$ , а $https://www.cyberforum.ru/cgi-bin/latex.cgi?e^f^+$ для некоторого другого выражения $https://www.cyberforum.ru/cgi-bin/latex.cgi?f$ . Пустое слово не входит в язык $https://www.cyberforum.ru/cgi-bin/latex.cgi?{(bb)}^{}{(aa)}^{+}+{(bb)}^{+}{(aa)}^{}$ , т.к. слова минимальной длины в этом языке — это aa и bb. Для любого выражения e имеет место e + e = e. 0

@DariaGris 1 / 11 / 0 Регистрация: 24.09.2016 Сообщений: 98
	13.11.2017, 19:00 [ТС]
	3D Homer, тогда у меня получиться вот так $https://www.cyberforum.ru/cgi-bin/latex.cgi?B={(bb)}^{}{(aa)}^{+}+{(bb)}^{+}{(aa)}^{}+\varepsilon<br /> A\rightarrow DB\|C:A={(bb)}^{}{(aa)}^{}({(bb)}^{}{(aa)}^{+}+{(bb)}^{+}{(aa)}^{}+\varepsilon )+{(bb)}^{}{(aa)}^{+}+{(bb)}^{+}{(aa)}^{}$ но я не понимаю как мне сократить выражение А Добавлено через 1 минуту* типо так?? $https://www.cyberforum.ru/cgi-bin/latex.cgi?A\rightarrow DB\|C:A={(bb)}^{}{(aa)}^{}({(bb)}^{}{(aa)}^{+}+{(bb)}^{+}{(aa)}^{}+\varepsilon )^{}$ 0

@DariaGris 1 / 11 / 0 Регистрация: 24.09.2016 Сообщений: 98
	13.11.2017, 19:15 [ТС]
	3D Homer, получается было $https://www.cyberforum.ru/cgi-bin/latex.cgi?A={(bb)}^{}{(aa)}^{}({(bb)}^{}{(aa)}^{+}+{(bb)}^{+}{(aa)}^{}+\varepsilon )+({(bb)}^{}{(aa)}^{+}+{(bb)}^{+}{(aa)}^{})$ и я убираю последнее слагаемое (я же могу убрать последнее слагаемое??) $https://www.cyberforum.ru/cgi-bin/latex.cgi?({(bb)}^{}{(aa)}^{+}+{(bb)}^{+}{(aa)}^{})$ и у меня остается $https://www.cyberforum.ru/cgi-bin/latex.cgi?A={(bb)}^{}{(aa)}^{}({(bb)}^{}{(aa)}^{+}+{(bb)}^{+}{(aa)}^{}+\varepsilon )$ и я раскрываю скобки получается следующие: $https://www.cyberforum.ru/cgi-bin/latex.cgi?A={(bb)}^{}{(aa)}^{}+{(bb)}^{}{(aa)}^{}+{(bb)}^{}{(aa)}^{}={(bb)}^{}{(aa)}^{}$ так ?? 0

@DariaGris 1 / 11 / 0 Регистрация: 24.09.2016 Сообщений: 98
	13.11.2017, 19:43 [ТС]
	3D Homer, я раскрывают скобки по дистрибутивному закону и поэтому записи $https://www.cyberforum.ru/cgi-bin/latex.cgi?{(bb)}^{}{(aa)}^{}({(bb)}^{}{(aa)}^{+}+{(bb)}^{+}{(aa)}^{}+\varepsilon )={(bb)}^{}{(aa)}^{}+{(bb)}^{}{(aa)}^{}+{(bb)}^{}{(aa)}^{}={(bb)}^{}{(aa)}^{}$ идентичны а т.к. тут три одинаковые цепочки символов то я записала это как $https://www.cyberforum.ru/cgi-bin/latex.cgi?{(bb)}^{}{(aa)}^{*}$ P.S.я не прошу вас решить, скажите просто в чем я не права или что мне нужно посмотреть, я хочу не тупо решить задание но и понять, что я делаю не правильно . 0

@DariaGris 1 / 11 / 0 Регистрация: 24.09.2016 Сообщений: 98
	13.11.2017, 20:17 [ТС]
	3D Homer, то что вы мне написал если я правильно понимаю то L(M+N)=LM+MN это левосторонний дистрибутивный закон конкатенации относительно объединения ( поэтому я могу открыть скобки). а то что вы написали ef=fe я не пойму к чему применяется в моем примере и не понимаю что мне надо сделать когда вы говорите установите истинны ли равенства 0