Пошук академічних текстів

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