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

@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.

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

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

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

@Катафалк 269 / 452 / 12 Регистрация: 21.06.2019 Сообщений: 2,797
	18.08.2019, 07:35	4
	Сообщение от 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
	знак '+' обозначает обьеденение? Добавлено через 5 минут ещё такой вопрос как правильно начать строить автомат по этому ((c+a)b) я сначала построил для скобок,(c+a) потом посмотрел то что есть две звёздочки и предположил ,что так зацикливается 0

@3D Homer $Эксперт по математике/физике$ 5003 / 3615 / 1162 Регистрация: 01.09.2014 Сообщений: 9,767
	18.08.2019, 15:21	6
	Сообщение от 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

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

Решение