Název:
Demonstrace rozptýlených gramatik s jediným kontextovým pravidlem
Překlad názvu:
Demonstration of Scattered Context Grammars with Single Context-Sensitive Rule
Autoři:
Holas, David ; Klobučníková, Dominika (oponent) ; Křivka, Zbyněk (vedoucí práce) Typ dokumentu: Bakalářské práce
Rok:
2021
Jazyk:
cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [cze][eng]
Práce se zabývá tvorbou aplikace, která ze zadané frontové gramatiky konstruuje gramatiku s rozptýleným kontextem a jedním kontextovým pravidlem, derivuje v~ní zadaný řetězec a celý proces prezentuje uživateli. K derivaci řetězců byla navržena heuristika, která snižuje počet aplikovatelných pravidel v každé větné formě. Uživatel může ovlivnit průběh derivace ručním výběrem pravidel. Průběh derivace je vypisován v podobě čistého textu nebo HTML dokumentu. Byly odhaleny dvě chyby v teoretickém podkladu práce, jmenovitě v převodu frontové gramatiky do 1. normální formy a v konstrukci gramatik s rozptýleným kontextem a jedním kontextovým pravidlem. V práci se podařilo nalézt částečné řešení druhého problému, které je implementováno v aplikaci.
The goal is to create an application that constructs scattered context grammars with single context-sensitive rule from queue grammars, and derives strings using them. The application presents the whole process to user in form of plain text or HTML. In order to derive strings, the heuristic is used to reduce the number of applicable rules in each sentential form. Applicable rules can be selected manually by the user in order to alter derivation process. Two errors were discovered in underlying theory of thesis. Specifically in transformation of queue grammars into first normal form and the construction of scattered context grammars with single context-sensitive rule. A partial solution to the second error was found and is implemented in application.
Klíčová slova:
demonstrace; derivace řetězců; frontové gramatiky; Gramatiky s rozptýleným kontextem; jazyk C; kontextové pravidlo; normální formy; prohledávání stavového prostoru.; C language; demonstration; non-context-free production; normal forms; queue grammars; Scattered context grammars; state space search.; string derivation
Instituce: Vysoké učení technické v Brně
(web)
Informace o dostupnosti dokumentu:
Plný text je dostupný v Digitální knihovně VUT. Původní záznam: http://hdl.handle.net/11012/199461