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

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

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

Новые блоги и статьи Все статьи Все блоги /
Миграция монолита в Event-Driven микросервисную архитектуру на C# stackOverflow 11.04.2025 Монолитная архитектура – классический подход к разработке программного обеспечения. Это приложение, построенное как единое целое, где все компоненты тесно связаны между собой. Большинство проектов. . .	Go в Kubernetes: Управление ресурсами golander 11.04.2025 Разработчики Go-приложений в Kubernetes часто сталкиваются с неожиданными проблемами производительности и даже внезапными отказами контейнеров. Причина этого кроется в особенностях взаимодействия. . .	Агрегаты и сущности в DDD микросервисах Javaican 10.04.2025 Разработка современных программных систем часто приводит на распутье: монолит или микросервисы? Даже при выборе микросервисной архитектуры многие команды сталкиваются с проблемой правильного. . .	Многопоточность в C#: Task и параллельное программирование UnmanagedCoder 10.04.2025 Современные процессоры уже давно перестали наращивать тактовую частоту в пользу увеличения количества ядер. Это создало интересную ситуацию: разработчики, привыкшие к последовательному. . .	Линейное решение нелинейной задачи будет иметь приблизительный результат вычисления для метода обработки данных из double buffering. Hrethgir 10.04.2025 Вообще изначально я пренебрёг квадратурой числа, но потом понял, что для вычисления приблизительного значения - сгодится, формулу можно будет корректировать по ходу. Это потому что прямое соотношение. . .
Переменные в Python py-thonny 10.04.2025 Переменная в программировании — это символическое имя, связанное с областью памяти, в которой хранится значение. Она позволяет получать доступ к данным через понятные человеку идентификаторы, а не. . .	Многопоточность в C#: Task и асинхронные операции UnmanagedCoder 10.04.2025 Многопоточность позволяет выполнять несколько операций одновременно, что важно для решения двух основных задач: повышения скорости выполнения вычислительно-сложных операций и сохранения отзывчивости. . .	Запуск контейнеров Docker на ARM64 Mr. Docker 09.04.2025 Появление таких решений, как Apple M1/ M2, AWS Graviton, Ampere Altra и Raspberry Pi, сделало использование ARM-систем обыденностью для многих разработчиков и DevOps-инженеров. При этом Docker,. . .	Vue SFC компонент на PHP с Fusion Jason-Webb 09.04.2025 PHP на сервере и JavaScript на клиенте — классическое сочетание, которое, несмотря на свою эффективность, создает определенный когнитивный диссонанс при разработке. В этом контексте появляются. . .	TypeScript vs JavaScript: Отличия и когда что использовать Reangularity 09.04.2025 JavaScript появился в 1995 году как творение Брендана Эйха и быстро стал основой интерактивности в вебе. За свою историю он прошел путь от простого языка для манипуляций с DOM до полноценной. . .

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

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

@3D Homer $Эксперт по математике/физике$ 5014 / 3626 / 1163 Регистрация: 01.09.2014 Сообщений: 9,787
	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\}$ . 0

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

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

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

Решение