Пошук академічних текстів

Інформація × Реєстраційний номер 2119U007348, Матеріали видань та локальних репозитаріїв Категорія Бакалаврська робота Назва роботи Наочне доведення теореми Хомського-Шютценберже в розширеному формулюванні Автор Мелентьєва Ада ДенисівнаMelentieva Ada Denysivna Дата публікації 01-01-2019 Постачальник інформації Національний технічний університет України «Київський політехнічний інститут імені Ігоря Сікорського» Першоджерело https://ela.kpi.ua/handle/123456789/29538 Видання Київ Опис Дипломна робота: 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. Додано в НРАТ 2025-11-05 Закрити