Детерминизация конечного автомата

@HalvaForever · Регистрация: 22.09.2014

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

здравствуйте, надеюсь, пишу в тот раздел. более подходящего не нашел.
перехожу от НКА к ДКА по данному алгоритму. но не понимаю, каким будет множество заключительных состояний после детерминизации?

@3D Homer · 03.02.2018, 23:09

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

пишу в тот раздел. более подходящего не нашел.

В разделе "Дискретная математика" есть подраздел "Теория автоматов".

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

каким будет множество заключительных состояний после детерминизации?

Там же написано: $https://www.cyberforum.ru/cgi-bin/latex.cgi?T_d=\{q\in Q_d\mid\exists p\in T:p\in q\}$ .

@HalvaForever · 03.02.2018, 23:25 **[ТС]**

Сообщение от 3D Homer

Там же написано

четно говоря, у меня есть затруднения с расшифровкой данной записи.
множеству заключительных состояний будут принадлежать все состояния из множества состояний такие, что какая-то p, принадлежащая множеству заключительных состояний исходного НКА, где p принадлежит множеству q(?)?

@3D Homer · 03.02.2018, 23:31

Да, множеству заключительных состояний будут принадлежать все состояния q из множества состояний такие, что какая-то p, принадлежащая множеству заключительных состояний исходного НКА, ~~где~~ p принадлежит множеству q.

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

@HalvaForever 0 / 0 / 1 Регистрация: 22.09.2014 Сообщений: 19
		1
	Детерминизация конечного автомата 03.02.2018, 20:56. Показов 3374. Ответов 3 Метки нет (Все метки) здравствуйте, надеюсь, пишу в тот раздел. более подходящего не нашел. перехожу от НКА к ДКА по данному алгоритму. но не понимаю, каким будет множество заключительных состояний после детерминизации? 0

@3D Homer $Эксперт по математике/физике$ 5004 / 3616 / 1163 Регистрация: 01.09.2014 Сообщений: 9,772
	03.02.2018, 23:09	2
	Сообщение от HalvaForever пишу в тот раздел. более подходящего не нашел. В разделе "Дискретная математика" есть подраздел "Теория автоматов". Сообщение от HalvaForever каким будет множество заключительных состояний после детерминизации? Там же написано: $https://www.cyberforum.ru/cgi-bin/latex.cgi?T_d=\{q\in Q_d\mid\exists p\in T:p\in q\}$ . 0

@HalvaForever 0 / 0 / 1 Регистрация: 22.09.2014 Сообщений: 19
	03.02.2018, 23:25 [ТС]	3
	Сообщение от 3D Homer Там же написано четно говоря, у меня есть затруднения с расшифровкой данной записи. множеству заключительных состояний будут принадлежать все состояния из множества состояний такие, что какая-то p, принадлежащая множеству заключительных состояний исходного НКА, где p принадлежит множеству q(?)? 0

@3D Homer $Эксперт по математике/физике$ 5004 / 3616 / 1163 Регистрация: 01.09.2014 Сообщений: 9,772
	03.02.2018, 23:31	4
	Сообщение было отмечено HalvaForever как решение Решение Да, множеству заключительных состояний будут принадлежать все состояния q из множества состояний такие, что какая-то p, принадлежащая множеству заключительных состояний исходного НКА, ~~где~~ p принадлежит множеству q. Состояния детерминированного автомата — это подмножества состояний исходного автомата. Те подмножества, которые содержат хотя бы одно заключительное состояние исходного автомата, будут заключительными состояниями в результирующем автомате. 1

Детерминизация конечного автомата

Решение