Konstrukce automatů užitím jednoznačných funkcí

Bc. David Staněk

Diplomová práce

Constructions of automata using one-valued functions

Anotace:

Diplomová práce uvádí čtenáře do základů studia monounárních algeber a jejich morfismů. Dále práce obsahuje základy klasické teorie automatů, ideje jejího vzniku a konstrukce jistých typů automatů. Práce sestává ze dvou částí, kde první je věnována monounárním algebrám a jejich morfismům. Druhá řást je zaměřena na kontrukce a popis automatů. V obou částech práce jsou obsaženy definice nezbytné pro pochopení vyložené teorie včetně speciálních ilustrujících příkladů.

Abstract:

Master thesis provides a reader into the elements of study of monounary algebras and their morphisms. Further, the paper contains elements of the classical automata theory, ideas of their origins and constructions of certain types of automata. The thesis consists of two parts, where the first part is devoted to monounary algebras and their morphisms, the secont part is focused on construtions and description of automata. Both parts of master thesis contain definitions which are necessary for understanding of the presented theory,including special illustrating examples.

Klíčová slova

Monounární algebra, homomorfismus, izomorfismus, automat, homomorfismus automatů, lineární funkce, N-akce, monounary algebra, homomorphism, isomorphism, automaton, homomorphism of automata, linear function, N-action.

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 1. 4. 2015

Obhajoba závěrečné práce

• Obhajoba proběhla 26. 5. 2015
• Vedoucí: prof. RNDr. Jan Chvalina, DrSc.
• Oponent: doc. RNDr. Jaroslav Beránek, CSc.

Masarykova univerzita

Pedagogická fakulta

Magisterský studijní program / obor:
Učitelství pro základní školy / Učitelství matematiky pro základní školy