@DariaGris

Здравствуйте, у меня есть грамматика и я должна построить по ней регулярное выражение


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

0

@3D Homer

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

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

0

@DariaGris

3D Homer, забыла про тэги,
я рассуждаю так:у меня есть же уже итерации {(bb)}^{*} или вот {(аа)}^{*} это же операция итерации и в ней по определению есть пустая цепочка и если мы ее добавим ко всему выражению то ничего не изменится, поэтому я и подумала что мы можем ее убрать. Но я в это не уверена и поэтому спрашиваю могу ли я это сделать или я не правильно понимаю это действие.
А насчет выражение А
получается вот что
это с учетом что в В я уберу епсилон.
и тут у меня одинаковые слагаемые. и я опять же могу сократить выражение или нет ( у нас же повторяются тут ??

0

@3D Homer

Действительно, для любого регулярного выражения имеет место . Но у вас же слагаемые имеют вид не , а для некоторого другого выражения . Пустое слово не входит в язык , т.к. слова минимальной длины в этом языке — это aa и bb.

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

0

@DariaGris

3D Homer, тогда у меня получиться вот так

но я не понимаю как мне сократить выражение А

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

0

@3D Homer

Можно раскрыть скобки. Тогда , а , т.к. язык содержится в .

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

0

@DariaGris

3D Homer, получается было и я убираю последнее слагаемое (я же могу убрать последнее слагаемое??)
и у меня остается и я раскрываю скобки получается следующие:
так ??

0

@3D Homer

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

Не так. Сначала выучите законы на регулярных выражениях. Например, выясните, верно ли, что и . Сейчас вы пишете равенства наугад.

0

@DariaGris

3D Homer, я раскрывают скобки по дистрибутивному закону и поэтому записи идентичны а т.к. тут три одинаковые цепочки символов то я записала это как

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

0

@3D Homer

Я не знаю, что вы называете дистрибутивным законом, но равенство не является его частным случаем. И лучше не писать * для конкатенации. Вы пишете ее только один раз после первого . Обычно в определении регулярного выражения есть пункт: если e и f — рег. выражения, то ef также рег. выражение, без всякой *.

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

0

@DariaGris

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

0

@3D Homer

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

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

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

0