Спекторський, Ігор ЯковичМелентьєва, Ада Денисівна2019-10-012019-10-012019Мелентьєва, А. Д. Наочне доведення теореми Хомського-Шютценберже в розширеному формулюванні : дипломна робота … бакалавра : 6.050101 Комп'ютерні науки / Мелентьєва Ада Денисівна. – Київ, 2019. – 75 с.https://ela.kpi.ua/handle/123456789/29538Дипломна робота: 75 с., 6 табл., 29 рис., 2 дод., 20 джерел. .Темою даної роботи є: «Наочне доведення теореми Хомського- Шютценберже в розширеному формулюванні». Метою даної роботи є доведення теореми Хомського-Шютценберже у розширеному формулюванні. У роботі використано такі елементи теорії фор- мальних мов та автоматів, як скінченні автомати, автомати з магазинною пам’яттю, мова Діка. Було розроблено програмний продукт, що проводить інтерактивне кон- структивне доведення теореми. Він дозволяє перевірити справедливість теоре- ми для будь-якої контекстно-вільної мови. Виконано тестування розробленого програмного продукту.ukтеорема Хомського-Шютценбержеконтекстно-вільна моварегулярна мовамова Дікаправильна дужкова послідовністьскінченний автоматавтомат з магазинною пам’яттюнормальна форма Грейбахфункціональне програмування.Chomsky-Schutzenberger representation theoremcontext-free languageregular languageDyck languagefinite state machinebalanced bracket sequencepushdown automatonGreibach normal formfunctional programmingBachelor Thesis75 с.