Functional automata

Abstract

Functional automata are models of algorithms of a certain class. The following problems concerning functional automata are presented and solved in the paper:

1. The problem of minimization of functional automat.

2. The problem of the existence of the nondeterministic functional automaton nonequivalent to any deterministic one.

3. The problem of optimal control for the functional automaton.

4. The problem of the existence of a universal automaton.