Home > Search Results: Holas, David
Search:
Search Tips :: Advanced Search
Search collections:
Sort by: Display results: Output format:
National Repository of Grey Literature 3 records found  Search took 0.00 seconds. 
Demonstration of Scattered Context Grammars with Single Context-Sensitive Rule
 Holas, David ; Klobučníková, Dominika (referee) ; Křivka, Zbyněk (advisor)
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.
Detailed record
Transformation of Queue Grammars
 Holas, David ; Regéciová, Dominika (referee) ; Křivka, Zbyněk (advisor)
The master thesis is divided into two parts. First part focuses on fixing incorrect transformation algorithm of queue grammar into a first normal form proposed in other paper. The algorithm was analysed and successfully corrected. Second part focuses on proposing a new tranformation to scattered context grammars with reduced descriptional complexity. The thesis contains a proof of its correctness and contains its complexity analysis. Console application was created to help analyze the respective transformations.
Detailed record
Demonstration of Scattered Context Grammars with Single Context-Sensitive Rule
 Holas, David ; Klobučníková, Dominika (referee) ; Křivka, Zbyněk (advisor)
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.
Detailed record

See also: similar author names
2 Holas, Damir
Interested in being notified about new results for this query?
Subscribe to the RSS feed.
Digital Repository :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.2
Maintained by admin.invenio@techlib.cz
This site is also available in the following languages:
Česky  English