Наочне доведення теореми Хомського-Шютценберже в розширеному формулюванні

Скорочена інформація про документ
dc.contributor.advisorСпекторський, Ігор Якович
dc.contributor.authorМелентьєва, Ада Денисівна
dc.date.accessioned2019-10-01T09:11:29Z
dc.date.available2019-10-01T09:11:29Z
dc.date.issued2019
dc.description.abstractenThe thesis contains: 75 p., 6 tabl., 29 fig., 2 app., 20 sources. The theme of the thesis is as follows: «A Transparent Proof of the Extended Formulation of the Chomsky-Schutzenberger Representation Theorem». The goal of the thesis is to prove the extended formulation of the Chomsky- Schutzenberger Representation Theorem. The work utilizes such concepts of the formal language and automata theory as finite state machines, pushdown automata, the Dyck language. A software product that executes an interactive proof of the theorem has been developed. It allows to verify that the theorem holds for any given context-free language. Testing of the developed product has been performed.uk
dc.description.abstractukДипломна робота: 75 с., 6 табл., 29 рис., 2 дод., 20 джерел. .Темою даної роботи є: «Наочне доведення теореми Хомського- Шютценберже в розширеному формулюванні». Метою даної роботи є доведення теореми Хомського-Шютценберже у розширеному формулюванні. У роботі використано такі елементи теорії фор- мальних мов та автоматів, як скінченні автомати, автомати з магазинною пам’яттю, мова Діка. Було розроблено програмний продукт, що проводить інтерактивне кон- структивне доведення теореми. Він дозволяє перевірити справедливість теоре- ми для будь-якої контекстно-вільної мови. Виконано тестування розробленого програмного продукту.uk
dc.format.page75 с.uk
dc.identifier.citationМелентьєва, А. Д. Наочне доведення теореми Хомського-Шютценберже в розширеному формулюванні : дипломна робота … бакалавра : 6.050101 Комп'ютерні науки / Мелентьєва Ада Денисівна. – Київ, 2019. – 75 с.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/29538
dc.language.isoukuk
dc.publisherКПІ ім. Ігоря Сікорськогоuk
dc.publisher.placeКиївuk
dc.subjectтеорема Хомського-Шютценбержеuk
dc.subjectконтекстно-вільна моваuk
dc.subjectрегулярна моваuk
dc.subjectмова Дікаuk
dc.subjectправильна дужкова послідовністьuk
dc.subjectскінченний автоматuk
dc.subjectавтомат з магазинною пам’яттюuk
dc.subjectнормальна форма Грейбахuk
dc.subjectфункціональне програмування.uk
dc.subjectChomsky-Schutzenberger representation theoremuk
dc.subjectcontext-free languageuk
dc.subjectregular languageuk
dc.subjectDyck languageuk
dc.subjectfinite state machineuk
dc.subjectbalanced bracket sequenceuk
dc.subjectpushdown automatonuk
dc.subjectGreibach normal formuk
dc.subjectfunctional programminguk
dc.titleНаочне доведення теореми Хомського-Шютценберже в розширеному формулюванніuk
dc.typeBachelor Thesisuk

Файли

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

Зібрання

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