Thesis Details

Inference skákajících formálních modelů

Master's Thesis Student: Heindlová Tina Academic Year: 2021/2022 Supervisor: Křivka Zbyněk, Ing., Ph.D.
English title
Jumping Formal Models Inference

This thesis is focused on grammatical inference in the way of evolutionary algorithms for jumping finite models. The first part explains jumping finite models as itself. More specifically, it describes jumping grammars and jumping automata. The next part deals with grammatical inference, evolutionary algorithms, and their important parts. According to the developed jumping models, said parts include strings generation and membership testing. These two algorithms are applied to chosen types of jumping finite automata---jumping finite automata, general jumping finite automata, and right one-way jumping finite automata. These four types of automata were tested, and in total, sixteen experiments were run. Results show that the inference works much better for automata without branching and with a small number of states and a small alphabet.


Jumping models, jumping automata, evolution algorithms, grammatical inference

Degree Programme
defended, grade D
21 June 2022
Sekanina Lukáš, prof. Ing., Ph.D. (DCSY FIT BUT), předseda
Bidlo Michal, Ing., Ph.D. (DCSY FIT BUT), člen
Burgetová Ivana, Ing., Ph.D. (DIFS FIT BUT), člen
Lengál Ondřej, Ing., Ph.D. (DITS FIT BUT), člen
Matoušek Radomil, doc. Ing., Ph.D. (IACS FME BUT), člen
Vašíček Zdeněk, doc. Ing., Ph.D. (DCSY FIT BUT), člen
HEINDLOVÁ, Tina. Inference skákajících formálních modelů. Brno, 2022. Master's Thesis. Brno University of Technology, Faculty of Information Technology. 2022-06-21. Supervised by Křivka Zbyněk. Available from:
    author = "Tina Heindlov\'{a}",
    type = "Master's thesis",
    title = "Inference sk\'{a}kaj\'{i}c\'{i}ch form\'{a}ln\'{i}ch model\r{u}",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2022,
    location = "Brno, CZ",
    language = "czech",
    url = ""
Back to top