Побудова автомата Бюхі та алгоритми перевірки пустоти мови, яка акцептується автоматом, на основі BFS алгоритму

Тип публікації :
Магістерська робота
Дата випуску :
2021
Автор(и) :
Михайленко Максим Олександрович
Мова основного тексту :
ua
eKNUTSHIR URL :
Цитування :
[APA 7] Михайленко, М. О. (2021). Побудова автомата Бюхі та алгоритми перевірки пустоти мови, яка акцептується автоматом, на основі BFS алгоритму. [Магістерська робота, Київський національний університет імені Тараса Шевченка]. eKNUTSHIR. https://ir.library.knu.ua/handle/123456789/2849
[ДСТУ] Михайленко М. О. Побудова автомата Бюхі та алгоритми перевірки пустоти мови, яка акцептується автоматом, на основі BFS алгоритму : кваліфікаційна робота магістра : 12 Інформаційні технології. Київ, 2021. 66 с. URL: https://ir.library.knu.ua/handle/123456789/2849 (дата звернення: 17.07.2026).
В ході виконання кваліфікаційної роботи було сформульовано загальні задачі і положення перевірки моделей, їх застосування в сучасній науці і техніці. Описано мову для для визначення властивостей безпеки і живучості, її загальні положення та алгоритм побудови узагальненого автомата Бюхі за ЛТЛ формулою. Введено основні поняття з перевірки моделей і перевірки автоматів на пустоту. Описано основні переваги та недоліки перевірки моделей.
Проведено аналіз існуючих алгоритмів для перевірки на пустоту, а саме алгоритми Емерсона-Лея та модифікований алгоритм Емерсона-Лея та алгоритми побудови автомата Бюхі за заданими специфікаціями.
Розроблено програмний продукт на основі технології С++, для верифікації моделі. Виконано порівняння ефективності алгоритмів, описано їх переваги і недоліки на різних вхідних даних.
Галузі знань та спеціальності :
12 Інформаційні технології
121 Інженерія програмного забезпечення
Файл(и) :
Вантажиться...
Ескіз
Формат :

Adobe PDF

Розмір :

552.92 KB

Контрольна сума :

(MD5):6ef0a74b106d665568fefe99766a19bb

Creative Commons Attribution-NonCommercial 4.0 International
Якщо не вказано інше, ця робота розповсюджується на умовах ліцензії Creative Commons Attribution-NonCommercial 4.0 International