Functional automata

Article type: Research Article

Authors: Rytter, Wojciech

Affiliations: Institute of Informatics, University of Warsaw

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.

Keywords: functional automaton, minimization, control, measurable functional automaton, nondeterminism

DOI: 10.3233/FI-1980-3104

Journal: Fundamenta Informaticae, vol. 3, no. 1, pp. 37-44, 1980