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

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

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

Здравствуйте, у меня есть грамматика и я должна построить по ней регулярное выражение
$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. Но использовать таким образом можно только равенства, в которых вы уверены, которые вы можете доказать. Это учат в средних классах школы.

Новые блоги и статьи Все статьи Все блоги /
Работа с объемным DOM в javascript Htext 04.04.2025 Сегодня прочитал статью тут о расходах памяти в JS, ее утечках и т. п. И вот что вспомнил из своей недавней практики. Может, кому пригодится. Хотя, в той статье об этом тоже есть. Дело в том, что я. . .	Оптимизация производительности Node.js с помощью кластеризации run.dev 04.04.2025 Масштабирование приложений для обработки тысяч и миллионов запросов — обыденная задача для многих команд. Node. js, благодаря своей асинхронной событийно-ориентированной архитектуре, стал популярной. . .	Управление зависимостями в Python с Poetry py-thonny 04.04.2025 Стандартный инструмент для установки пакетов в Python - pip - прекрасно справляется с базовыми сценариями: установил пакет командой pip install и используешь его. Но что произойдёт, когда разные. . .	Мониторинг с Prometheus в PHP Jason-Webb 04.04.2025 Prometheus выделяется среди других систем мониторинга своим подходом к сбору и хранению метрик. В отличие от New Relic, который использует агентный подход и отправляет данные во внешнее хранилище,. . .	Пакет Context в Golang: Управление потоками и ресурсами golander 04.04.2025 Работа с горутинами в Go часто напоминает управление непослушными детьми - они разбегаются кто куда, делают что хотят и не всегда завершаются вовремя. К счастью, в Go 1. 7 появился пакет context,. . .
Контейнеризация React приложений с Docker Reangularity 03.04.2025 Контейнеризация позволяет упаковать приложение со всеми его зависимостями в автономный контейнер, который можно запустить на любой платформе с установленным Docker. Это существенно упрощает процессы. . .	Свой попап в SwiftUI mobDevWorks 03.04.2025 SwiftUI, как декларативный фреймворк от Apple, предоставляет множество инструментов для создания пользовательских интерфейсов. В нашем распоряжении есть такие API как alerts, popovers, action sheets. . .	Антипаттерны микросервисной архитектуры ArchitectMsa 03.04.2025 Хорошо спроектированная микросервисная система может выдержать испытание временем, оставаясь гибкой, масштабируемой и устойчивой к большинству проблем. Такая архитектура обладает высоким уровнем. . .	std::mutex в C++: Советы и примеры использования bytestream 03.04.2025 std::mutex - это механизм взаимного исключения, который гарантирует, что критический участок кода выполняется только одним потоком в каждый момент времени. Это простое, но могущественное средство. . .	Не удержался от оценки концепции двигателя Стирлинга. Hrethgir 03.04.2025 Сколько не пытался - она выдавала правильные схемы, причём случайно рисовала горячие области в середине, холодные по краям, трубки с краёв в низ и магнит в соединяющей, но при этой выдавала описание. . .

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

	Построение регулярного выражения 13.11.2017, 17:17. Показов 1047. Ответов 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

@3D Homer $Эксперт по математике/физике$ 5014 / 3626 / 1163 Регистрация: 01.09.2014 Сообщений: 9,787
	13.11.2017, 18:26
	Сообщение от DariaGris {(bb)}^{}{(aa)}^{+}+{bb}^{+}{aa}^{}+\e psilon ={(bb)}^{}{(aa)}^{+}+{bb}^{+}{aa}^{} Почему вы не обернули эту формулу в тэги LATEX??? И почему вы думаете, что это равенство верно?? Или хотя бы почему вы хотите, чтобы оно было верно???? Последнее aa должно быть в скобках. Сообщение от DariaGris если я строю регулярное выражение А у меня там повторяются значения я могу их сократить так сказать ?? Что вы под этим имеете в виду¿¿¿ 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 $Эксперт по математике/физике$ 5014 / 3626 / 1163 Регистрация: 01.09.2014 Сообщений: 9,787
	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

@3D Homer $Эксперт по математике/физике$ 5014 / 3626 / 1163 Регистрация: 01.09.2014 Сообщений: 9,787
	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 )^{}$ Почему вы так решили? В этой науке, как и в алгебре, можно использовать только те равенства, которые доказаны. 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

@3D Homer $Эксперт по математике/физике$ 5014 / 3626 / 1163 Регистрация: 01.09.2014 Сообщений: 9,787
	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$ . Сейчас вы пишете равенства наугад. 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

@3D Homer $Эксперт по математике/физике$ 5014 / 3626 / 1163 Регистрация: 01.09.2014 Сообщений: 9,787
	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. 0

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

@3D Homer $Эксперт по математике/физике$ 5014 / 3626 / 1163 Регистрация: 01.09.2014 Сообщений: 9,787
	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. Но использовать таким образом можно только равенства, в которых вы уверены, которые вы можете доказать. Это учат в средних классах школы. 0