Статкевич, Віталій МихайловичМузиченко, Артур Сергійович2023-09-252023-09-252023Музиченко, А. С. Програмне забезпечення для аналізу граматик, які керуються мережами Петрі : дипломна робота ... бакалавра : 124 Системний аналіз / Музиченко Артур Сергійович. – Київ, 2023. – 106 с.https://ela.kpi.ua/handle/123456789/60504Дипломна робота: 106 c., 50 рис., 6 табл., 2 дод., 11 джерел. Об’єктом роботи є дослідження формальних граматик, що керуються мережами Петрі. Предметом дослідження є методи, які застосовуються для знаходження формальної мови, яка породжена такою граматикою, та класифікація встановленої формальної мови. Мета роботи полягає в розробці програмного забезпечення для аналізу граматик, що керуються мережами Петрі, для подальшого дослідження та встановлення додаткових властивостей. Результатом роботи є розроблене програмне забезпечення, яке є ефективним інструментом для вивчення та аналізу формальних мов, а також корисним для розвитку теорії формальних граматик. Вирішені наступні завдання: ⎯ проаналізовані математичні конструкції граматик, які керуються мережами Петрі; ⎯ розроблено програмне забезпечення на мові програмування Python для аналізу вказаних граматик; ⎯ розроблене програмне забезпечення використано для того, щоб знайти та класифікувати відповідно до ієрархії Хомського формальні мови для декількох прикладів граматик, які керуються мережами Петрі.106 с.ukформальна моваформальна граматикамережа Петрікерована граматикаграматика керована мережею Петріformal languageformal grammarPetri netcontrolled grammarPetri net controlled grammarBachelor Thesis