Програмне забезпечення для аналізу граматик, які керуються мережами Петрі

Скорочена інформація про документ
dc.contributor.advisorСтаткевич, Віталій Михайлович
dc.contributor.authorМузиченко, Артур Сергійович
dc.date.accessioned2023-09-25T07:19:46Z
dc.date.available2023-09-25T07:19:46Z
dc.date.issued2023
dc.description.abstractДипломна робота: 106 c., 50 рис., 6 табл., 2 дод., 11 джерел. Об’єктом роботи є дослідження формальних граматик, що керуються мережами Петрі. Предметом дослідження є методи, які застосовуються для знаходження формальної мови, яка породжена такою граматикою, та класифікація встановленої формальної мови. Мета роботи полягає в розробці програмного забезпечення для аналізу граматик, що керуються мережами Петрі, для подальшого дослідження та встановлення додаткових властивостей. Результатом роботи є розроблене програмне забезпечення, яке є ефективним інструментом для вивчення та аналізу формальних мов, а також корисним для розвитку теорії формальних граматик. Вирішені наступні завдання: ⎯ проаналізовані математичні конструкції граматик, які керуються мережами Петрі; ⎯ розроблено програмне забезпечення на мові програмування Python для аналізу вказаних граматик; ⎯ розроблене програмне забезпечення використано для того, щоб знайти та класифікувати відповідно до ієрархії Хомського формальні мови для декількох прикладів граматик, які керуються мережами Петрі.uk
dc.description.abstractotherThesis: 106 pages, 50 figures, 6 tables, 2 appendices, 11 sources. The object of the study is the investigation of Petri net controlled grammars. The subject of the research is the set of methods that are used to determine the formal language generated by Petri net controlled grammar, and also the classification of the determined formal language. The aim of the research is to develop software for analysis of Petri net controlled grammar in order to perform the further investigation and to specify additional properties. The result of the research is the developed software that provides an effective tool for the study and analysis of formal languages, as well as for the development of the theory of formal grammars. The following tasks were solved: ⎯ mathematical constructions of Petri nets controlled grammars were analysed; ⎯ software in Python programming language for analysing Petri net controlled grammars was developed; ⎯ developed software was used to determine and classify the formal languages generated by several examples of Petri net controlled grammars (according to Chomsky hierarchy).uk
dc.format.extent106 с.uk
dc.identifier.citationМузиченко, А. С. Програмне забезпечення для аналізу граматик, які керуються мережами Петрі : дипломна робота ... бакалавра : 124 Системний аналіз / Музиченко Артур Сергійович. – Київ, 2023. – 106 с.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/60504
dc.language.isoukuk
dc.publisher.placeКиївuk
dc.subjectформальна моваuk
dc.subjectформальна граматикаuk
dc.subjectмережа Петріuk
dc.subjectкерована граматикаuk
dc.subjectграматика керована мережею Петріuk
dc.subjectformal languageuk
dc.subjectformal grammaruk
dc.subjectPetri netuk
dc.subjectcontrolled grammaruk
dc.subjectPetri net controlled grammaruk
dc.titleПрограмне забезпечення для аналізу граматик, які керуються мережами Петріuk
dc.typeBachelor Thesisuk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
Muzychenko_bakalavr.pdf
Розмір:
4.6 MB
Формат:
Adobe Portable Document Format
Опис:
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
9.1 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Бакалаврські роботи (ММСА)
Бакалаврські роботи