Thesis Details

Demonstrace rozptýlených gramatik s jediným kontextovým pravidlem

Bachelor's Thesis Student: Holas David Academic Year: 2020/2021 Supervisor: Křivka Zbyněk, Ing., Ph.D.
English title
Demonstration of Scattered Context Grammars with Single Context-Sensitive Rule
Language
Czech
Abstract

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.

Keywords

Scattered context grammars, non-context-free production, queue grammars, normal forms, string derivation, demonstration, C language, state space search.

Department
Degree Programme
Information Technology
Files
Status
defended, grade A
Date
18 June 2021
Reviewer
Committee
Kolář Dušan, doc. Dr. Ing. (DIFS FIT BUT), předseda
Burgetová Ivana, Ing., Ph.D. (DIFS FIT BUT), člen
Fučík Otto, doc. Dr. Ing. (DCSY FIT BUT), člen
Hrubý Martin, Ing., Ph.D. (DITS FIT BUT), člen
Španěl Michal, Ing., Ph.D. (DCGM FIT BUT), člen
Citation
HOLAS, David. Demonstrace rozptýlených gramatik s jediným kontextovým pravidlem. Brno, 2021. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2021-06-18. Supervised by Křivka Zbyněk. Available from: https://www.fit.vut.cz/study/thesis/22678/
BibTeX
@bachelorsthesis{FITBT22678,
    author = "David Holas",
    type = "Bachelor's thesis",
    title = "Demonstrace rozpt\'{y}len\'{y}ch gramatik s jedin\'{y}m kontextov\'{y}m pravidlem",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2021,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/22678/"
}
Back to top