Форум программистов, компьютерный форум, киберфорум
Теория автоматов
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 5.00/5: Рейтинг темы: голосов - 5, средняя оценка - 5.00
1 / 11 / 0
Регистрация: 24.09.2016
Сообщений: 98

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

13.11.2017, 17:17. Показов 1043. Ответов 11
Метки нет (Все метки)

Author24 — интернет-сервис помощи студентам
Здравствуйте, у меня есть грамматика и я должна построить по ней регулярное выражение
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
IT_Exp
Эксперт
34794 / 4073 / 2104
Регистрация: 17.06.2006
Сообщений: 32,602
Блог
13.11.2017, 17:17
Ответы с готовыми решениями:

Построение регулярного выражения
Здравствуйте, дана цепочка начинается с 10 и заканчивается на 1, необходимо построить дкр ,и написать по нему регулярные выражения. Я...

Построить детерминированный автомат для регулярного выражения
Построить детерминированный автомат для регулярного выражения ((c+a)b*)* Я построил этот автомат какие состояния будут финальными и почему?...

Построение регулярного выражения
Добрый вечер форумчане. Сейчас прохожу тему про &quot;регулярные выражения&quot;. Тема муторная, засыпаю после каждого прочитанного предложения и в...

11
Эксперт по математике/физике
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
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
Эксперт по математике/физике
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
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
Эксперт по математике/физике
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
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
Эксперт по математике/физике
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
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
Эксперт по математике/физике
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
1 / 11 / 0
Регистрация: 24.09.2016
Сообщений: 98
13.11.2017, 20:17  [ТС]
3D Homer, то что вы мне написал если я правильно понимаю то
L(M+N)=LM+MN это левосторонний дистрибутивный закон конкатенации относительно объединения ( поэтому я могу открыть скобки).
а то что вы написали ef=fe я не пойму к чему применяется в моем примере
и не понимаю что мне надо сделать когда вы говорите установите истинны ли равенства
0
Эксперт по математике/физике
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
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
BasicMan
Эксперт
29316 / 5623 / 2384
Регистрация: 17.02.2009
Сообщений: 30,364
Блог
13.11.2017, 20:35
Помогаю со студенческими работами здесь

Разбор регулярного выражения
Здравствуйте. Проблема такая: пытаюсь зарегистрироваться на китайском сайте, номер телефона не проходит валидацию. Вытянул из исходников...

Понимание регулярного выражения
Добрый день ув. пользователи! Подскажите пожалуйста, что значит эта запись. preg_match_all('/(.+?)\s?\{\s?(.+?)\s?\}/'

Разбор регулярного выражения
Стал разбирать регулярные выражения. На одном из ресурсов наткнулся на такой код: var example:RegExp = /(?&lt;!){3}(?!)/g; var...

Приоритет регулярного выражения
Здравствуйте. Не могу решить одну проблему. Сделал регулярочку: public const string pattern3 = @&quot;(\)&quot;; Вылавливать она должна...

Создание регулярного выражения
Написать регулярное выражение, определяющее является ли данная строчка валидным номером мобильного телефона – пример правильных...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
12
Ответ Создать тему
Новые блоги и статьи
Не удержался от оценки концепции двигателя Стирлинга.
Hrethgir 03.04.2025
Сколько не пытался - она выдавала правильные схемы, причём случайно рисовала горячие области в середине, холодные по краям, трубки с краёв в низ и магнит в соединяющей, но при этой выдавала описание. . .
Метод с двумя буферами (или double buffering) или ping-pong buffering
Hrethgir 02.04.2025
Из ответов LM модели. Метод, который предполагает использование двух массивов для хранения промежуточных результатов сложения векторов, обычно применяется в сценариях, где необходимо минимизировать. . .
На любовном киберфронте
Alexander-7 01.04.2025
Недавно на одном малоизвестном сайте знакомств мною заинтересовалась девушка: «Текст немного странный. Но, судя по адресу почты, иностранка», – подумал я. Поколебавшись пару суток, я ответил ей:. . .
Как работает Node.js изнутри
run.dev 29.03.2025
Node. js изменил подход к разработке веб-приложений, позволив использовать JavaScript не только на стороне клиента, но и на сервере. Созданный в 2009 году Райаном Далем, этот открытый,. . .
Моки в Python: Mock Object Library
py-thonny 29.03.2025
Тестирование кода требует особого подхода, когда речь идёт о компонентах, взаимодействующих с внешним миром. Мы часто сталкиваемся с непредсказуемостью HTTP-запросов, чтением данных из базы или. . .
JavaScript: Управление памятью и улучшение производительности
run.dev 29.03.2025
В отличие от низкоуровневых языков программирования, JavaScript не требует ручного выделения и освобождения памяти. Здесь работает автоматический сборщик мусора, который определяет, какие объекты. . .
Мультитенантная архитектура со SpringBoot и PostgreSQL
ArchitectMsa 29.03.2025
SaaS-приложения редко обслуживают одного клиента и обычно они должны поддерживать множество организаций, каждая из которых работает в своём изолированном пространстве. Мультитенантная архитектура. . .
std::span в C++: Производительность и лучшие практики
NullReferenced 28.03.2025
std::span — одно из самых недооценённых нововведений стандарта C++20, которое радикально меняет подход к работе с непрерывными последовательностями данных. По сути, это невладеющее представление. . .
Многопоточность в C#: Threadpool
UnmanagedCoder 28.03.2025
Пул потоков в C# — это коллекция заранее созданных и готовых к использованию потоков, которые находятся в распоряжении приложения. Вместо того чтобы создавать и уничтожать потоки для каждой небольшой. . .
Вопросы на собеседованиях по микросервисам
ArchitectMsa 27.03.2025
Работодатели ищут не просто разработчиков, знающих базовые концепции, а специалистов, разбирающихся в тонкостях масштабирования, отказоустойчивости и производительности. Сейчас на первый план выходят. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2025, CyberForum.ru
Выделить код Копировать код Сохранить код Нормальный размер Увеличенный размер