Это команда fmi, которую можно запустить в бесплатном хостинг-провайдере OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
fmi - минимизация состояния конечного автомата
СИНТАКСИС
FMI [-V] входной_файл выходной файл
ОПИСАНИЕ
Создан для работы на описаниях конечных автоматов, FMI поддерживает то же подмножество VHDL, что и syf (для дальнейшего
информацию об этом подмножестве см. SYF(1) и ФШМ(5 г.)). FMI использует сокращенный упорядоченный двоичный файл
Представление диаграмм решений и идентифицирует эквивалентные состояния. После этого шага
управляет новым автоматом, в котором все эквивалентные состояния заменяются одним состоянием.
Как ограничение FMI не обрабатывает пофиг (так как это намного сложнее).
ОКРУЖАЮЩАЯ СРЕДА ПЕРЕМЕННЫЕ
MBK_WORK_LIB дает путь к описанию конечного автомата. Значение по умолчанию - текущее
каталог.
MBK_CATA_LIB дает несколько вспомогательных путей для описаний автоматов. Значение по умолчанию -
текущий каталог.
ДОПОЛНИТЕЛЬНЫЕ ОПЦИИ
-V Включает подробный режим. Каждый шаг минимизации отображается на стандартном
вывод.
ПРИМЕР
fmi цифра цифра_мин
Используйте fmi онлайн с помощью сервисов onworks.net
