Názov:Balanced Use of Resources in Computations
Vedúci:prof. RNDr. Branislav Rovan, PhD.
Kµúčové slová:balanced use of resources, equiloadedness, equiloaded automaton, abstract deterministic automaton
Abstrakt:Balanced use of resources in deterministic sequential computations is studied in this thesis. Several definitions of automata with balanced use of resources (equiloaded automata) are presented. These definitions are presented for abstract deterministic automata, i.e., an abstraction of automata devised for this purpose. Equiloadedness is then studied for three particular cases of abstract deterministic automata: deterministic finite automata, deterministic finite automata with transitions on the empty word, and deterministic one-counter automata. Several characterizations of families of equiloaded automata are proved. The families of languages accepted by equiloaded automata are also considered in the thesis.

Súbory diplomovej práce: