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

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

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

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

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

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

Новые блоги и статьи Все статьи Все блоги /
WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .	Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .	Модель микоризы: классовый агентный подход 3 anaschu 06.01.2026 aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114
Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .	Модель микоризы: классовый агентный подход 2 anaschu 06.01.2026 репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .	Расчёт токов в цепи постоянного тока igorrr37 05.01.2026 / * Дана цепь постоянного тока с сопротивлениями и напряжениями. Надо найти токи в ветвях. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа и решает её. Последовательность действий:. . .	Новый CodeBlocs. Версия 25.03 palva 04.01.2026 Оказывается, недавно вышла новая версия CodeBlocks за номером 25. 03. Когда-то давно я возился с только что вышедшей тогда версией 20. 03. С тех пор я давно снёс всё с компьютера и забыл. Теперь. . .

@HalvaForever 0 / 0 / 1 Регистрация: 22.09.2014 Сообщений: 19

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

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

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

Решение