Минимизация конечного детерминированного автомата — для нескольких посылок

Постановка и вычислительная модель

В математической постановке «Минимизация конечного детерминированного автомата — для нескольких посылок» Минимизация начинается с удаления недостижимых состояний. Оставшиеся состояния разбиваются на допускающие и недопускающие, после чего классы последовательно уточняются. Объединение исходных связей с дополнительным условием важно: изменение второй посылки может соединить ранее раздельные классы или открыть путь, которого не было в первой матрице. В постановке «Минимизация конечного детерминированного автомата — для нескольких посылок» размер системы задаётся полем «Число состояний автомата», которое в исходном примере равно 3.

В качестве исходного задания взята модель gpt06_v85_10_06, а не произвольное выражение. На каждом раунде состояния одного класса разделяются, если переходы хотя бы по одному разрешённому символу ведут в разные классы предыдущего разбиения. Особое внимание уделяется связанным результатам: они должны одновременно соответствовать одним и тем же введённым данным. Например, изменение «Номер состояния для проверки класса» требует пересчитать результат именно по выбранным ограничениям.

Представление исходных данных

Исходные поля этого вычислителя: Число состояний автомата, Размер алфавита, Таблица переходов, код, Начальное состояние, Допускающие состояния, маска, Номер состояния для проверки класса. Для примера «Минимизация конечного детерминированного автомата — для нескольких посылок» используются конкретные значения: n = 3; alphabet = 2; transitions = 226; start = 0; accept = 4; inspect_state = 1. Данные задаются как целые числа, поэтому целостность кодов проверяется до выполнения перебора. Здесь «Номер состояния для проверки класса» имеет исходное значение 1; оно входит в правила построения задачи.

Если пользователь ограничил количество проходов, число классов может оказаться промежуточным. Признак устойчивости нужен, чтобы не принять это число за окончательный минимум. В данном варианте задания следует учитывать дополнительное условие: Объединение исходных связей с дополнительным условием важно: изменение второй посылки может соединить ранее раздельные классы или открыть путь, которого не было в первой матрице. Ввод числа, которое кодирует вершины за пределами выбранного множества, считается ошибкой, а не дополняется несуществующими состояниями. Для расчёта «Минимизация конечного детерминированного автомата — для нескольких посылок» недопустимые кодировки отклоняются прежде, чем начинается перебор.

Алгоритм проверки результата

Когда очередной проход больше не меняет разбиение, его классы соответствуют состояниям минимального эквивалентного автомата. В результате указывается число объединённых состояний. Промежуточные характеристики помогают проверить вычисление без обращения к внешнему серверу: достаточно проследить несколько состояний или связей на небольшом примере. В контрольном наборе для задачи «Минимизация конечного детерминированного автомата — для нескольких посылок» формируются как основная характеристика, так и вспомогательные показатели проверки.

Для воспроизводимости зафиксирован результат: Достижимых состояний: 3; Классов неразличимости: 3; Удалено недостижимых состояний: 0; Число объединённых состояний: 0; Итераций уточнения: 4; Разбиение устойчиво (1 — да): 0; Классы: 0:0, 1:1, 2:2; Класс указанного состояния: 1. В задаче «Минимизация конечного детерминированного автомата — для нескольких посылок» можно изменить исходную маску, выбранную вершину либо особое условие; проверяемое утверждение при этом пересчитывается, а не берётся из записанного образца. При изменении параметра «Число состояний автомата» область перебора меняется вместе с размером модели.

Границы применимости и выводы

Для постановки «Минимизация конечного детерминированного автомата — для нескольких посылок» рассматриваются только конечные множества в пределах заданного числа вершин или состояний. На каждом раунде состояния одного класса разделяются, если переходы хотя бы по одному разрешённому символу ведут в разные классы предыдущего разбиения. Если требуется больший автомат, необходимо использовать специализированные средства, рассчитанные на крупные графы. Для калькулятора «Минимизация конечного детерминированного автомата — для нескольких посылок» ограничения размера заданы явно во входной форме.

При толковании ответа важно учитывать, как действует вариант «для нескольких посылок»: Объединение исходных связей с дополнительным условием важно: изменение второй посылки может соединить ранее раздельные классы или открыть путь, которого не было в первой матрице. Возможные противоречия и неверные номера состояний должны приводить к отказу, а не к бессмысленной маске. В случае «Минимизация конечного детерминированного автомата — для нескольких посылок» смысл ответа зависит от всех указанных пользователем условий, включая «Номер состояния для проверки класса».

Формула расчёта

Проверенные примеры

Как пользоваться онлайн-калькулятором

1. Задайте число вершин или состояний и целочисленные коды отношений либо переходов.
2. Выберите ограничения и начальные/конечные состояния по указанной задаче.
3. Сравните значения вычисленных характеристик, разбиения, доступности и свидетельства.