Generátor grafů konečných automatů - doplnění o operace s konečnými automaty

Martin Bachořík

Bachelor's thesis

Generátor of Finite Automata Graphs - Addition of Operations on Finite Automata

Abstract:

Práce navazuje na práci ,,Doplnění editoru a generátoru grafů konečných automatů“, kterou vytvořil Pavel Byma. První část obsahuje základní informace o konečných automatech, jak pracují a jak se vytvářejí. V další části jsou popsány operace, které se s konečnými automaty dají provádět. Původní program byl pouze editor a neobsahoval tyto operace, program dokázal pouze automaty ručně definovat nebo náhodně generovat, dále obsahoval překladač do příkazů GasTeX. V závěrečné časti je popsána implementace nových operací, průnik, sjednocení, převod nedeterministického konečného automatu, převod do normovaného tvaru, převod na minimální tvar automatu a zrcadlový obraz do původního programu. K implementaci bylo použito JavaCC. Bylo upraveno i grafické prostředí aplikace.

Abstract:

The dissertation is a follow-up to the dissertation "Addition of new features to a generator of finite-automata graphs", written by Pavel Bym. The first part contains fundamental information about sequential machines, how they work and how they are made. The following part describes the operations which can be carried out through the sequential machines. The initial programme was a simple editor and did not include these functions - the programme was only able to define the sequential machines manually or to generate itself on a random basis. Moreover, the programme includes a GasTex compiler of dicts. The final part contains the description of the implementation of new operations: the intersection, the union, the conversion of the nondeterministic sequential machine, the conversion into a normative shape, the conversion into the minimal shape of the machine and the mirror image of the initial programme. JavaCC has been used for implementation. The graphics of the application has been adjusted as well.

Keywords

Konečný automat, nedeterministický konečný automat, deterministický konečný automat, průnik, sjednocení, převod nedeterministického konečného automatu, převod do normovaného tvaru, převod na minimální tvar automatu, zrcadlový obraz, Java

Keywords

Sequential machine, nondeterministic sequential machine, deterministic sequential machine, intersection, union, the conversion of the nondeterministic sequential machine, the conversion into a normative shape, the conversion into the minimal shape of the machine, mirror image, Java

Language used: Czech

Date on which the thesis was submitted / produced: 7. 5. 2013

Thesis defence

• Date of defence: 3. 6. 2013
• Supervisor: Martin Kot
• Reader: Martin Šurkovský

VŠB - Technical University of Ostrava

Fakulta elektrotechniky a informatiky

Bachelor programme / field:
Informační a komunikační technologie / Informatika a výpočetní technika