Search academic texts

Information × Registration Number 2119U007348, Article popup.category Бакалаврська робота Title Наочне доведення теореми Хомського-Шютценберже в розширеному формулюванні (AI translated) popup.author Мелентьєва Ада ДенисівнаMelentieva Ada Denysivna popup.publication 01-01-2019 popup.source_user Національний технічний університет України «Київський політехнічний інститут імені Ігоря Сікорського» popup.source https://ela.kpi.ua/handle/123456789/29538 popup.publisher Київ Description Дипломна робота: 75 с., 6 табл., 29 рис., 2 дод., 20 джерел. .Темою даної роботи є: «Наочне доведення теореми Хомського- Шютценберже в розширеному формулюванні». Метою даної роботи є доведення теореми Хомського-Шютценберже у розширеному формулюванні. У роботі використано такі елементи теорії фор- мальних мов та автоматів, як скінченні автомати, автомати з магазинною пам’яттю, мова Діка. Було розроблено програмний продукт, що проводить інтерактивне кон- структивне доведення теореми. Він дозволяє перевірити справедливість теоре- ми для будь-якої контекстно-вільної мови. Виконано тестування розробленого програмного продукту. The 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. popup.nrat_date 2025-11-05 Close