Search academic texts

Information × Registration Number 2123U004361, Article popup.category Бакалаврська робота Title popup.author Музиченко Артур Сергійович popup.publication 01-01-2023 popup.source_user Національний технічний університет України «Київський політехнічний інститут імені Ігоря Сікорського» popup.source https://ela.kpi.ua/handle/123456789/60504 popup.publisher Київ Description Дипломна робота: 106 c., 50 рис., 6 табл., 2 дод., 11 джерел. Об’єктом роботи є дослідження формальних граматик, що керуються мережами Петрі. Предметом дослідження є методи, які застосовуються для знаходження формальної мови, яка породжена такою граматикою, та класифікація встановленої формальної мови. Мета роботи полягає в розробці програмного забезпечення для аналізу граматик, що керуються мережами Петрі, для подальшого дослідження та встановлення додаткових властивостей. Результатом роботи є розроблене програмне забезпечення, яке є ефективним інструментом для вивчення та аналізу формальних мов, а також корисним для розвитку теорії формальних граматик. Вирішені наступні завдання: ⎯ проаналізовані математичні конструкції граматик, які керуються мережами Петрі; ⎯ розроблено програмне забезпечення на мові програмування Python для аналізу вказаних граматик; ⎯ розроблене програмне забезпечення використано для того, щоб знайти та класифікувати відповідно до ієрархії Хомського формальні мови для декількох прикладів граматик, які керуються мережами Петрі. popup.nrat_date 2025-01-29 Close