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

@Ivan912 · Регистрация: 26.01.2019

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

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

@3D Homer · 17.08.2019, 23:38

С автоматом я в целом согласен. Вместо двух стрелок из s1 можно сделать одну, помеченную всеми символами.

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

какие состояния будут финальными и почему?

Очевидно, оба верхних.

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

Может ли быть последовательность нулевой длины?

Язык вида r* всегда включает в себя пустое слово по определению.

@Ivan912 · 18.08.2019, 07:25 **[ТС]**

почему оба верхних? я так понимаю ,что пустое слово в s0 попадает.А всё остальное ловит s1 поэтому оно финальное

Добавлено через 1 час 57 минут
((c+a)b*)* = (с+a)*b* вот так можно раскрывать?

Добавлено через 21 минуту
знак '+' обозначает обьеденение?

@Катафалк · 18.08.2019, 07:35

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

((c+a)b*)* = (с+a)*b* вот так можно раскрывать?

Нельзя, например слово b принадлежит второму языку, но не принадлежит первому.

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

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

почему оба верхних? я так понимаю ,что пустое слово в s0 попадает.А всё остальное ловит s1 поэтому оно финальное

Ну вот потому и оба, ты сам на свой вопрос ответил.

@Ivan912 · 18.08.2019, 08:21 **[ТС]**

знак '+' обозначает обьеденение?

Добавлено через 5 минут
ещё такой вопрос как правильно начать строить автомат по этому ((c+a)b*)* я сначала построил для скобок,(c+a) потом посмотрел то что есть две звёздочки и предположил ,что так зацикливается

@3D Homer · 18.08.2019, 15:21

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

знак '+' обозначает обьеденение?

Обычно да. Если L(r) — язык, описываемый регулярным выражением r, то $https://www.cyberforum.ru/cgi-bin/latex.cgi?L(r_1+r_2)=L(r_1)\cup L(r_2)$ .

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

ещё такой вопрос как правильно начать строить автомат по этому ((c+a)b*)*

Можно строить либо из здравого смысла, либо по науке. Во втором случае можно преобразовать регулярное выражение в НКА и затем в ДКА. При этом автомат может получиться излишне сложным, но его можно минимизировать известным методом. Преобразование выражения в НКА описывается в разделе 3.2.3 книги Хопкрофт Д., Мотвани Р., Ульман Д. Введение в теорию автоматов, языков и вычислений. М.: Вильямс, 2008.

Новые блоги и статьи Все статьи Все блоги /
Результаты исследования от команды MCM (март 2025 г.) Programma_Boinc 07.04.2025 Результаты исследования от команды MCM (март 2025 г. ) В рамках наших текущих исследований мы продолжаем изучать гены, которые имеют наибольшую вероятность развития рака легких, выявленные в рамках. . .	Рекурсивные типы в Python py-thonny 07.04.2025 Рекурсивные типы - это типы данных, которые определяются через самих себя или в сочетании с другими типами, которые в свою очередь ссылаются на исходный тип. В мире программирования такие структуры. . .	C++26: Объединение и конкатенация последовательностей и диапазонов в std::ranges NullReferenced 07.04.2025 Работа с последовательностями данных – одна из фундаментальных задач, с которой сталкивается каждый разработчик. C++ прошел длинный путь в эволюции средств для манипуляции коллекциями – от. . .	Обмен данными в микросервисной архитектуре ArchitectMsa 06.04.2025 Когда разработчики начинают погружаться в мир микросервисов, они часто сталкиваются с парадоксальным правилом: "два сервиса не должны делить один источник данных". Эта мантра звучит повсюду в. . .	PostgreSQL в Kubernetes: Автоматизация обслуживания с CNPG Mr. Docker 06.04.2025 Администраторы баз данных сталкиваются с целым рядом проблем при обслуживании PostgreSQL в Kubernetes: как обеспечить правильную репликацию данных, как настроить автоматическое переключение при. . .
Async/await в TypeScript run.dev 06.04.2025 Асинхронное программирование — это подход к разработке программного обеспечения, при котором операции выполняются независимо друг от друга. В отличие от синхронного выполнения, где каждая последующая. . .	Многопоточность в C#: Синхронизация потоков UnmanagedCoder 06.04.2025 Многопоточное программирование стало неотъемлемой частью разработки современных приложений на C#. С появлением многоядерных процессоров возможность выполнять несколько задач параллельно значительно. . .	TypeScript: Классы и конструкторы run.dev 06.04.2025 TypeScript, как статически типизированный язык, построенный на основе JavaScript, привнес в веб-разработку новый уровень надежности и структурированности кода. Одним из важнейших элементов этой. . .	Многопоточное программирование: Rust против C++ golander 06.04.2025 C++ существует уже несколько десятилетий и его поддержка параллелизма постепенно наращивалась со временем. Начиная с C++11, язык получил стандартную библиотеку для работы с потоками, а в последующих. . .	std::vector в C++: от основ к оптимизации производительности NullReferenced 05.04.2025 Для многих программистов знакомство с std::vector происходит на ранних этапах изучения языка, но между базовым пониманием и подлинным мастерством лежит огромная дистанция. Контейнер std::vector. . .

@Ivan912 1 / 1 / 0 Регистрация: 26.01.2019 Сообщений: 92

	Построить детерминированный автомат для регулярного выражения 17.08.2019, 07:56. Показов 4830. Ответов 5 Метки нет (Все метки) Построить детерминированный автомат для регулярного выражения ((c+a)b) Я построил этот автомат какие состояния будут финальными и почему? Тут в регулярном выражение две звёздочки подряд как правильно это раскрывать? Может ли быть последовательность нулевой длины? 0

@3D Homer $Эксперт по математике/физике$ 5014 / 3626 / 1163 Регистрация: 01.09.2014 Сообщений: 9,787
	17.08.2019, 23:38
	Сообщение было отмечено Ivan912 как решение Решение С автоматом я в целом согласен. Вместо двух стрелок из s1 можно сделать одну, помеченную всеми символами. Сообщение от Ivan912 какие состояния будут финальными и почему? Очевидно, оба верхних. Сообщение от Ivan912 Может ли быть последовательность нулевой длины? Язык вида r* всегда включает в себя пустое слово по определению. 1

@Ivan912 1 / 1 / 0 Регистрация: 26.01.2019 Сообщений: 92
	18.08.2019, 07:25 [ТС]
	почему оба верхних? я так понимаю ,что пустое слово в s0 попадает.А всё остальное ловит s1 поэтому оно финальное Добавлено через 1 час 57 минут ((c+a)b) = (с+a)b вот так можно раскрывать? Добавлено через 21 минуту знак '+' обозначает обьеденение? 0

@Катафалк 275 / 473 / 12 Регистрация: 21.06.2019 Сообщений: 2,977
	18.08.2019, 07:35
	Сообщение от Ivan912 ((c+a)b) = (с+a)b вот так можно раскрывать? Нельзя, например слово b принадлежит второму языку, но не принадлежит первому. Добавлено через 1 минуту Сообщение от Ivan912 почему оба верхних? я так понимаю ,что пустое слово в s0 попадает.А всё остальное ловит s1 поэтому оно финальное Ну вот потому и оба, ты сам на свой вопрос ответил. 0

@Ivan912 1 / 1 / 0 Регистрация: 26.01.2019 Сообщений: 92
	18.08.2019, 08:21 [ТС]
	знак '+' обозначает обьеденение? Добавлено через 5 минут ещё такой вопрос как правильно начать строить автомат по этому ((c+a)b) я сначала построил для скобок,(c+a) потом посмотрел то что есть две звёздочки и предположил ,что так зацикливается 0

@3D Homer $Эксперт по математике/физике$ 5014 / 3626 / 1163 Регистрация: 01.09.2014 Сообщений: 9,787
	18.08.2019, 15:21
	Сообщение от Ivan912 знак '+' обозначает обьеденение? Обычно да. Если L(r) — язык, описываемый регулярным выражением r, то $https://www.cyberforum.ru/cgi-bin/latex.cgi?L(r_1+r_2)=L(r_1)\cup L(r_2)$ . Сообщение от Ivan912 ещё такой вопрос как правильно начать строить автомат по этому ((c+a)b) Можно строить либо из здравого смысла, либо по науке. Во втором случае можно преобразовать регулярное выражение в НКА и затем в ДКА. При этом автомат может получиться излишне сложным, но его можно минимизировать известным методом. Преобразование выражения в НКА описывается в разделе 3.2.3 книги Хопкрофт Д., Мотвани Р., Ульман Д. Введение в теорию автоматов, языков и вычислений. М.: Вильямс, 2008. 1

Опции темы

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

Решение