Програмне забезпечення для аналізу граматик, які керуються мережами Петрі
Вантажиться...
Дата
2023
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
Анотація
Дипломна робота: 106 c., 50 рис., 6 табл., 2 дод., 11 джерел.
Об’єктом роботи є дослідження формальних граматик, що керуються
мережами Петрі.
Предметом дослідження є методи, які застосовуються для
знаходження формальної мови, яка породжена такою граматикою, та
класифікація встановленої формальної мови.
Мета роботи полягає в розробці програмного забезпечення для аналізу
граматик, що керуються мережами Петрі, для подальшого дослідження та
встановлення додаткових властивостей.
Результатом роботи є розроблене програмне забезпечення, яке є
ефективним інструментом для вивчення та аналізу формальних мов, а також
корисним для розвитку теорії формальних граматик.
Вирішені наступні завдання:
⎯ проаналізовані математичні конструкції граматик, які керуються
мережами Петрі;
⎯ розроблено програмне забезпечення на мові програмування
Python для аналізу вказаних граматик;
⎯ розроблене програмне забезпечення використано для того, щоб
знайти та класифікувати відповідно до ієрархії Хомського формальні мови
для декількох прикладів граматик, які керуються мережами Петрі.
Опис
Ключові слова
формальна мова, формальна граматика, мережа Петрі, керована граматика, граматика керована мережею Петрі, formal language, formal grammar, Petri net, controlled grammar, Petri net controlled grammar
Бібліографічний опис
Музиченко, А. С. Програмне забезпечення для аналізу граматик, які керуються мережами Петрі : дипломна робота ... бакалавра : 124 Системний аналіз / Музиченко Артур Сергійович. – Київ, 2023. – 106 с.