Thesis Details

Systémy formálních modelů a jejich aplikace

Master's Thesis Student: Čermák Martin Academic Year: 2007/2008 Supervisor: Meduna Alexander, prof. RNDr., CSc.
English title
Systems of Formal Models with Applications
Language
Czech
Abstract

This paper introduces and discusses automata systems as a new way for formal languages processing. In the text there are four models described. The first model works on sequential mode. At one computation step only one of components works. The second one works on semi-parallel mode. At the one computation step either one or all the components of the automata system work. In the last two models each component of the automata system has its own input string. The computation step of each component is influenced by their states, or used rules. The state, or used rule of the components of automata system can block or unblock some or all automata of the system.

Keywords

Finish automata, push-down automata, grammar systems, automata systems, multirecognizers automata systems

Department
Degree Programme
Information Technology, Field of Study Intelligent Systems
Files
Status
defended, grade A
Date
16 June 2008
Reviewer
Committee
Češka Milan, prof. RNDr., CSc. (DITS FIT BUT), předseda
Hanáček Petr, doc. Dr. Ing. (DITS FIT BUT), člen
Herout Adam, prof. Ing., Ph.D. (DCGM FIT BUT), člen
Orság Filip, Ing., Ph.D. (DITS FIT BUT), člen
Peringer Petr, Dr. Ing. (DITS FIT BUT), člen
Racek Stanislav, doc. Ing., CSc. (WBU in Pilsen), člen
Citation
ČERMÁK, Martin. Systémy formálních modelů a jejich aplikace. Brno, 2008. Master's Thesis. Brno University of Technology, Faculty of Information Technology. 2008-06-16. Supervised by Meduna Alexander. Available from: https://www.fit.vut.cz/study/thesis/1976/
BibTeX
@mastersthesis{FITMT1976,
    author = "Martin \v{C}erm\'{a}k",
    type = "Master's thesis",
    title = "Syst\'{e}my form\'{a}ln\'{i}ch model\r{u} a jejich aplikace",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2008,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/1976/"
}
Back to top