Для студентов МГТУ им. Н.Э.Баумана по предмету Интеллектуальные системы и технологииПроверка свойств конечного автомата по его графу переходовПроверка свойств конечного автомата по его графу переходов
2024-01-262024-01-26СтудИзба
Лабораторная работа: Проверка свойств конечного автомата по его графу переходов
Описание
Целью работы является:
- Изучить текст программы на Прологе согласно варианту;
- Проанализировать полученные решения;
- Создать последовательность построения дерева вывода для двух решений с учетом отката для перехода к выводу следующего решения.
Характеристики лабораторной работы
Учебное заведение
Семестр
Просмотров
3
Размер
1,68 Mb
Список файлов
лаб_1.doc