Справка
Назначение :: Выходное слово :: Системные требования :: История :: Лицензия

Назначение ПОКАМиМ

ПОКАМиМ - программа обработки конечных автоматов Мили и Мура.

Как следует из названия, ПОКАМиМ служит для обработки конечных автоматов Мили и Мура, и предназначена для изучения функционирования абстрактных автоматов Мили и Мура. Автоматная модель может эффективно использоваться для описания процессов функционирования блоков и сетей ЭВМ, автоматических телефонных станций (АТС) и других дискретных управляющих устройств.

Данная версия выполняет следующие функции:

• Задание автоматов Мили и Мура в табличной форме;
• Преобразование автомата Мили в эквивалентный автомат Мура (и обратно);
• Минимизация автоматов Мили и Мура;
• Получение выходной последовательности по заданной входной;
• Построение графов всех типов автоматов;
• Загрузка автоматов с диска;
• Сохранение автоматов на диск;
• Обработка автоматов с различными типами неопределенностей;
• Поддержка автоматов с максимальным числом состояний до 32.

Программа может использоваться в качестве методической поддержки дисциплин "Теория автоматов", "Математическая логика и теория алгоритмов".

Назначение :: Выходное слово :: Системные требования :: История :: Лицензия
Справка