Матричні формальні граматики та граматики, які керуються мережами Петрі
Вантажиться...
Дата
2024
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Дипломна робота: 84 с., 28 рис., 7 табл., 2 дод., 11 джерел.
Об’єктами роботи є граматики, які керуються мережами Петрі та
матричні формальні граматиками.
Предметом дослідження є алгоритми, які дозволяють здійснювати
перехід між граматиками, які керуються мережами Петрі та матричними
формальними граматиками.
Мета роботи полягає в розробці програмного забезпечення для
конвертування граматик, що керуються мережами Петрі у матричні
формальні граматики та навпаки.
Результатом роботи є розроблене програмне забезпечення на Python,
яке є реалізацією розглянутих алгоритмів для переходу між граматиками, що
керуються мережами Петрі та матричними формальними граматиками.
Опис
Ключові слова
формальна мова, формальна граматика, мережа петрі, матрична граматика, граматика керована мережею петрі, керована граматика, formal language, formal grammar, petri net, matrix grammar, petri net controlled grammar, controlled grammar
Бібліографічний опис
Бичков, Д. В. Матричні формальні граматики та граматики, які керуються мережами Петрі : дипломна робота ... бакалавра : 124 Системний аналіз / Бичков Денис Віталійович. – Київ, 2024. – 84 с.