Минимизация DFA скачать в хорошем качестве

Минимизация DFA

Здесь мы показываем, как минимизировать ДКА. Идея заключается в том, чтобы рассмотреть все «группы» состояний, которые могут быть «эквивалентны» друг другу с точки зрения принятия строки (например, нефинальное и конечное состояния не могут быть эквивалентны, поскольку одно из них принимает строку, а другое — нет). Затем мы продолжаем уточнять группы до тех пор, пока дальнейшее их уточнение станет невозможным (что неизбежно произойдет в какой-то момент, поскольку в худшем случае каждое состояние будет находиться в своей собственной группе). Тогда «минимизированный» ДКА будет содержать только одно состояние для каждой группы и переходы между группами, как определено в данном ДКА (поскольку каждое состояние внутри группы эквивалентно каждому другому). #easytheory #nfa #dfa #gate #gateconcept #theoryofcomputing #turingmachine #nfatoregex #cfg #pda #undecidable #ricestheorem Поучаствовать: Patreon:   / easytheory   Discord:   / discord   Прямая трансляция (по воскресеньям в 14:00 по Гринвичу, 2 часа): Twitch:   / easytheory   (также на YouTube) Социальные сети: Страница в Facebook:   / easytheory   Группа в Facebook:   / easytheory   Twitter:   / easytheory   Товары: Одежда с символикой языковой иерархии: https://teespring.com/language-hierar... Одежда Pumping Lemma: https://teespring.com/pumping-lemma-f... Если вам нравится этот контент, пожалуйста, подпишитесь на мой канал:    / @easytheory   Сторонники уровня Ultimate: (нет) Сторонники уровня Diamond: (нет) Сторонники уровня Platinum: (нет) Сторонники уровня Gold: Аноним (x1), Мика Вуд, Бен Притчард Сторонники уровня Silver: Тимми Ги Сторонники уровня Yash Singhal ▶ДОПОЛНИТЕЛЬНЫЕ ВОПРОСЫ◀ 1. Будет ли этот процесс работать для NFA? 2. Можете ли вы предоставить явное время выполнения алгоритма? ▶ОТПРАВЬТЕ МНЕ ВОПРОСЫ ПО ТЕОРИИ◀ [email protected] ▶ОБО МНЕ◀ Я профессор компьютерных наук и увлечён теорией вычислительной техники. Я читал более 12 курсов в двух разных университетах, включая несколько разделов теоретических занятий для студентов бакалавриата и магистратуры.