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

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

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

Новые блоги и статьи Все статьи Все блоги /
Контейнеризация React приложений с Docker Reangularity 03.04.2025 Контейнеризация позволяет упаковать приложение со всеми его зависимостями в автономный контейнер, который можно запустить на любой платформе с установленным Docker. Это существенно упрощает процессы. . .	Свой попап в SwiftUI mobDevWorks 03.04.2025 SwiftUI, как декларативный фреймворк от Apple, предоставляет множество инструментов для создания пользовательских интерфейсов. В нашем распоряжении есть такие API как alerts, popovers, action sheets. . .	Антипаттерны микросервисной архитектуры ArchitectMsa 03.04.2025 Хорошо спроектированная микросервисная система может выдержать испытание временем, оставаясь гибкой, масштабируемой и устойчивой к большинству проблем. Такая архитектура обладает высоким уровнем. . .	std::mutex в C++: Советы и примеры использования bytestream 03.04.2025 std::mutex - это механизм взаимного исключения, который гарантирует, что критический участок кода выполняется только одним потоком в каждый момент времени. Это простое, но могущественное средство. . .	Не удержался от оценки концепции двигателя Стирлинга. Hrethgir 03.04.2025 Сколько не пытался - она выдавала правильные схемы, причём случайно рисовала горячие области в середине, холодные по краям, трубки с краёв в низ и магнит в соединяющей, но при этой выдавала описание. . .
Метод с двумя буферами (или double buffering) или ping-pong buffering Hrethgir 02.04.2025 Из ответов LM модели. Метод, который предполагает использование двух массивов для хранения промежуточных результатов сложения векторов, обычно применяется в сценариях, где необходимо минимизировать. . .	На любовном киберфронте Alexander-7 01.04.2025 Недавно на одном малоизвестном сайте знакомств мною заинтересовалась девушка: «Текст немного странный. Но, судя по адресу почты, иностранка», – подумал я. Поколебавшись пару суток, я ответил ей:. . .	Как работает Node.js изнутри run.dev 29.03.2025 Node. js изменил подход к разработке веб-приложений, позволив использовать JavaScript не только на стороне клиента, но и на сервере. Созданный в 2009 году Райаном Далем, этот открытый,. . .	Моки в Python: Mock Object Library py-thonny 29.03.2025 Тестирование кода требует особого подхода, когда речь идёт о компонентах, взаимодействующих с внешним миром. Мы часто сталкиваемся с непредсказуемостью HTTP-запросов, чтением данных из базы или. . .	JavaScript: Управление памятью и улучшение производительности run.dev 29.03.2025 В отличие от низкоуровневых языков программирования, JavaScript не требует ручного выделения и освобождения памяти. Здесь работает автоматический сборщик мусора, который определяет, какие объекты. . .

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

	Детерминизация конечного автомата 03.02.2018, 20:56. Показов 3404. Ответов 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

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

Решение