|
|
Advanced Error Recovery during Top-Down Parsing
Obluková, Alena ; Kolář, Dušan (referee) ; Meduna, Alexandr (advisor)
Parser is one of the most important parts in compiler since Syntax-Directed Translation is often used. This approach means that parser controls semantic actions and generation of syntax tree. When the input contains an error, parser cannot continue and the whole compiler has to stop. Therefore, it is important to have parser with error recovery, so when error occurs parser is able to continue. There are several error-recovery strategies and methods. In this paper is described Acceptable-sets derived from continuations specifically continuation in LL parsers. However it is not so well known method it is easy to explain and to implement. It can be used in the lesson to demonstrate error recovery in top-down parser.
|
|
|
Combined Parsing Based on Grammar Systems
Caha, Petr ; Solár, Peter (referee) ; Meduna, Alexandr (advisor)
This thesis deals with a combined parsing based on grammar systems. Introduces modified method of classical grammar systems. At first they will be theoretically described and in the next part they will be implemented for parsing. The basis for the parser is a cooperating distributed grammar system. Implementation uses recursive method and case analysis. The parser is universal, applicable to any grammar systems based on context-free and some not context-free.
|
|
|
Script Language for Image Processing
Crlík, Radek ; Španěl, Michal (referee) ; Zemčík, Pavel (advisor)
This bachelor thesis deals with capabilities of scripting languages and their types. Specifically with design of one such language suitable for image processing. The goal was to create a language small enough, but easy to use. One of the requirement was to utilize OpenCV library, for which the resulting code would be as short as possible. First part deals with descriptions of scripting languages, their main philosophy and options of language processing by the computer. Second part contains description of the designed language. Last part documents achieved goals and possible ways how to extend the language even further.
|
|
|
Parsing Based on Regulated Grammars
Vaníček, Luboš ; Kučera, Jiří (referee) ; Meduna, Alexandr (advisor)
This thesis deals with regulated grammars. It describes their behavior and it compares them using different examples of context-sensitive languages. The thesis focuses mostly on programmed grammars. It modifies the methods of parsing and it uses them for programmed grammars. This thesis applies the developed method of parsing on context-sensitive languages and examines their power.
|
|
|
Deep Syntax-Directed Translation
Senko, Jozef ; Kučera, Jiří (referee) ; Meduna, Alexandr (advisor)
This thesis is a continuation of my bachelor thesis, which is dedicated to syntax analysis based on deep pushdown automata. In theorical part of this thesis is defined everything fundamental for this work, for example deep syntax-directed translation, pushdown automata, deep pushdown automata, finite transducer and deep pushdown transducer. The second part of this thesis is dedicated to the educational program for students of IFJ. In this part is defined strucure of this program and its parts. All part of program are analyzed from a theoretical and practical point of view.
|
|
|
Structural Methods of Objects Identification for Industrial Robot Operation
Minařík, Martin ; Šlapal, Josef (referee) ; Konečný, Vladimír (referee) ; Šťastný, Jiří (advisor)
This PhD thesis deals with the use of structural methods of objects identification for industrial robots operation. First, the present state of knowledge in the field is described, i.e. the whole process of objects recognition with the aid of common methods of the syntactic analysis. The main disadvantage of these methods is that is impossible to recognize objects whose digitalized image is corrupted in some ways (due to excessive noise or image disturbances), objects are therefore deformed. Further, other methods for the recognition of deformed objects are described. These methods use structural description of objects for object recognition, i.e. methods which determine the distance between attribute descriptions of images. The core part of this PhD thesis begins in Chapter 5, where deformation grammars, capable of description of all possible object deformations, are described. The only complication in the analysis is the ambiguity of the deformation grammar, which lowers the effectiveness of the analysis. Further, PhD thesis deals with the selection and modification of a proper parser, which is able to analyze a deformation grammar effectively. Three parsers are described: the modified Earley parser, the modified Tomita parser and the modified hybrid LRE(k) parser. As for the modified Earley’s parser, ways of its effective implementation are described. One of the necessary parts of the object recognition is providing the invariances, which this PhD thesis covers in detail, too. Finally, the results of described algorithms are mentioned (successfulness and speed of deformed objects recognition) and suggested testing environment and implemented algorithms are described. In conclusion, all determined possibilities of deformation grammars and their results are summarized.
|
|
|
Using structural method for objects recognition
Valsa, Vít ; Heriban, Pavel (referee) ; Šťastný, Jiří (advisor)
This diploma thesis deals with posibilities of using structural methods for recognition objects in a picture. The first part of this thesis describes methods for preparing the picture before processing. The core of the whole thesis is in chapter 3, where is analyzed in details the problem of the formation of deformation grammars for parsing and their using. In the next part is space for syntactic parser describing the deformation grammar. The conclusion is focused on testing the suggested methods and their results.
|
|
|
Syntaktický analyzátor zdrojových textů ve formátu ConTeXt
Hanuš, Adam
The theme of this thesis is syntax analysis of the source texts based on TeX. The work contains the summary of basic terms from the theory of formal languages, there is also explained the function of the translator in all the analytical phases of the translation and finally it contains the introduction of the Lua scripting language and the ConTeXt typesetting system. The aim of the thesis is implementation of the syntax analyser for the source texts in ConTEXt format. The implementation is accompanied by the description of the solution developement of the lexical analysis, syntax analysis, creating syntax diagrams and context-free grammar.
|
|
|
Návrh systému pro aplikaci deformačních gramatik
Junek, Lukáš
In my Bachelor thesis I am dealing with designing and implementation of my syntactic analyser. My parser processes chain codes describing a particular object. During the draft, I had to solve some problems. Deal with the object rotation, possibility of object different sizes, but especially with deformations in the input code. Finally, I implemented an extend version of Tomita parser that is able to cope well with ambiguity of actions in the LR table and with conflicts on the entry. Then I verified functionality of my implemented program by series of tests, where I assessed the accuracy of object detection and total time required for parsing.
|
|
|
Inkrementální překlad v interaktivních systémech
Haluza, Pavel
Dissertation thesis deals with possibilities of incremental compiler construction. It represents the compiler construction possibilities for languages with a fixed set of lexical units and for languages with a variable set of lexical units, too. The methodology design for the incremental compiler construction is based on the known algorithms for standard compiler construction and derived for both groups of languages. The part focused on incremental compiling of common programming languages is based on a published methodology of incremental parser construction. The method uses syntax-directed translation scheme. The part focused on incremental compiling of languages with a variable set of lexical units is engaged in incremental compiler construction for on of the typical representantives, typographic system TeX. Unline the frontal compilation it is necessary to adapt the semantic actions to the incremental environment and bring additional information for their links to the appropriate location in the grammar rules. The thesis discusses the problem of the storage of information about current lexical units categories during the repeated compilation and it offers solutions. The thesis also describes the application of proposed methodology in the web application that is used for teaching the course Theory of programming languages at the Faculty of Business and Economics, Mendel University in Brno.
|
guest ::
