Минимизация ДКА. Алгоритм объединения эквивалентных состояний

@roanna · Регистрация: 11.11.2010

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

Собственно бьюсь над минимизацией детерминированного конечного автомата. Все "подготовочные шаги" я сделала: считка с файла и построение ориентированного графа, поиск и удаление недостижимых состояний, добавление одной "стоковой" вершины (на случай, если имеется алфавит, к примеру, "а, б, в, г", а для определенного состояния есть только переходы для букв "а" и "г") со всеми новыми (стекающимися в нее) ребрами.
Сама проблема: ну допустим я смогу построить таблицу неэквивалентности состояний, вопрос - а как вообще объединить эти классы эквивалентности в новое состояние???

И как изменить таблицу переходов???
У меня нет проблем с минимизацией "на листке бумаги", у меня не укладывается в голове, как это можно превратить в программный код. Буду очень благодарна, если кто-то подскажет или "вдохновит", а еще лучше - пинок под задницу.

Моя заумная литература: "Введение в теорию автоматов, языков и вычислений" Дж. Хопкрофт.

verylazy · 10.01.2014, 11:42

Много псевдо-умных слов и обилие вопросительных знаков.
Не стал читать до конца.

@lemegeton · 11.01.2014, 23:52

Честно говоря, понятия не имею, что за "таблицу неэквивалентности состояний" вы имеете в виду.

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

@roanna · 15.01.2014, 15:55 **[ТС]**

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

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

Вы знаете, я уже практически решила свою задачу, на 95% готово.
Задача состоит именно в том, чтобы найти минимальный конечный автомат, эквивалентный данному. Преподаватель отослал к Дж. Хопкрофту, там говорилось о построении таблицы всех возможных пар состояний (p, q), где ты отмечаешь те пары, которые не есть эквивалентными. Ну и потом работаешь с полученным результатом. У меня была проблема именно со склейкой.

Так как после долгих усилий мне алгоритм Хопкрофта показался слишком сложным в реализации, я пошла другим путем. Коротко говоря разбиение автомата на классы еквивалентности сразу. Таким образом, мне осталось только преобразовать функцию переходов, основываясь на полученных группах эквивалентных состояний.
Идею я взяла с http://edevelop.ru/education/5... omata.html

@Steelhammer · 10.10.2014, 17:38

Roanna, как вы решили вашу проблему?не могли бы кинуть исходник?

Новые блоги и статьи Все статьи Все блоги /
Учёным и волонтёрам проекта «Einstein@home» удалось обнаружить четыре гамма-лучевых пульсара в джете Млечного Пути Programma_Boinc 01.01.2026 Учёным и волонтёрам проекта «Einstein@home» удалось обнаружить четыре гамма-лучевых пульсара в джете Млечного Пути Сочетание глобально распределённой вычислительной мощности и инновационных. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .	PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .
Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .

@roanna 16 / 16 / 3 Регистрация: 11.11.2010 Сообщений: 88

	Минимизация ДКА. Алгоритм объединения эквивалентных состояний 10.01.2014, 02:14. Показов 6601. Ответов 4 Метки нет (Все метки) Собственно бьюсь над минимизацией детерминированного конечного автомата. Все "подготовочные шаги" я сделала: считка с файла и построение ориентированного графа, поиск и удаление недостижимых состояний, добавление одной "стоковой" вершины (на случай, если имеется алфавит, к примеру, "а, б, в, г", а для определенного состояния есть только переходы для букв "а" и "г") со всеми новыми (стекающимися в нее) ребрами. Сама проблема: ну допустим я смогу построить таблицу неэквивалентности состояний, вопрос - а как вообще объединить эти классы эквивалентности в новое состояние??? И как изменить таблицу переходов??? У меня нет проблем с минимизацией "на листке бумаги", у меня не укладывается в голове, как это можно превратить в программный код. Буду очень благодарна, если кто-то подскажет или "вдохновит", а еще лучше - пинок под задницу. Моя заумная литература: "Введение в теорию автоматов, языков и вычислений" Дж. Хопкрофт. 0

verylazy 462 / 462 / 71 Регистрация: 26.02.2013 Сообщений: 1,263
	10.01.2014, 11:42
	Много псевдо-умных слов и обилие вопросительных знаков. Не стал читать до конца. 1

@lemegeton 4903 / 2696 / 921 Регистрация: 29.11.2010 Сообщений: 5,783
	11.01.2014, 23:52
	Честно говоря, понятия не имею, что за "таблицу неэквивалентности состояний" вы имеете в виду. Какая у вас задача? Ликвидация эквивалентных состояний с помощью таблиц переходов и выходов конечного автомата? 0

@Steelhammer 0 / 0 / 0 Регистрация: 10.10.2014 Сообщений: 4
	10.10.2014, 17:38
	Roanna, как вы решили вашу проблему?не могли бы кинуть исходник? 0