Thesis Details

Knihovna pro konečné automaty a převodníky

Bachelor's Thesis Student: Bieliková Michaela Academic Year: 2016/2017 Supervisor: Hruška Martin, Ing.
English title
Library for Finite Automata and Transducers
Language
Czech
Abstract

Finite state automata are widely used in the field of computer science such as formal verification, system modelling, and natural language processing. However, the models representing the reality are complicated and can be defined upon big alphabets, or even infinite alphabets, and thus contain a lot of transitions. In these cases, using classical finite state automata is not very efficient. Symbolic automata are more concise by employing predicates as transition labels. Finite state transducers also have a wide range of application such as linguistics or formal verification. Symbolic transducers replace classic transition labels with two predicates, one for input symbols and one for output symbols. The goal of this thesis is to design a library for letter and symbolic automata and transducers which will be suitable for fast prototyping.

Keywords

finite state automata, symbolic automata, transducers, efficient algorithms, formal verification

Department
Department of Intelligent Systems FIT BUT
Degree Programme
Information Technology
Files
Status
defended, grade A
Date
13 June 2017
Reviewer
Lengál Ondřej, Ing., Ph.D.
Committee
Honzík Jan M., prof. Ing., CSc. (DIFS FIT BUT), předseda
Janoušek Vladimír, doc. Ing., Ph.D. (DITS FIT BUT), člen
Novák Michal, doc. RNDr., Ph.D. (DMAT FEEC BUT), člen
Strnadel Josef, Ing., Ph.D. (DCSY FIT BUT), člen
Szőke Igor, Ing., Ph.D. (DCGM FIT BUT), člen
Citation
BIELIKOVÁ, Michaela. Knihovna pro konečné automaty a převodníky. Brno, 2017. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2017-06-13. Supervised by Hruška Martin. Available from: https://www.fit.vut.cz/study/thesis/20123/
BibTeX 
@bachelorsthesis{FITBT20123,
    author = "Michaela Bielikov\'{a}",
    type = "Bachelor's thesis",
    title = "Knihovna pro kone\v{c}n\'{e} automaty a p\v{r}evodn\'{i}ky",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2017,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/20123/"
}

Theses

Back to top