Создан заказ №9437244
8 февраля 2023
Синтез различающих последовательностей для автоматов с таймаутами на основе абстракции
Как заказчик описал требования к работе:
Задачи:
1.Реализовать программу синтеза конечно-автоматной абстракции для автомата с таймаутами.
2. Реализовать программу синтеза различающей последовательности для конечного автомата.
Первая реализация: синтеза различающей последовательности для конечного автомата.
Подзадачи:
1) Реализовать класс
(или структуру) конечный автомат в которой Ваша программа будет хранить основные параметры автомата и множество переходов.
2) Написать функцию (метод вышеупомянутого класса), которая построит различающую последовательность для конечного автомата.
Вторая реализация: синтеза конечно-автоматной абстракции для автомата с тайаутами.
Подзадачи:
1) Реализовать класс (или структуру) временной автомат в которой Ваша программа будет хранить основные параметры автомата с таймаутами, множества переходов и таймаутов.
2) Написать функцию (метод вышеупомянутого класса), которая построит конечный автомат по соответствующему временному и вернёт его в формате класса "конечный автомат " из первой реализации
подробнее
Заказчик
заплатил
заплатил
500 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
11 февраля 2023
Заказ завершен, заказчик получил финальный файл с работой
5
Синтез различающих последовательностей для автоматов с таймаутами на основе абстракции.docx
2023-02-14 12:57
Последний отзыв студента о бирже Автор24
Общая оценка
4
Положительно
Всё замечательно. Работу приняли, минимальное количество замечаний по ней. Автору огромное спасибо за проделанную работу! Выполнено в сроки, качественно.