Institute of Information Theories and Applications FOI ITHEA
Abstract
The summary of automata theory ontology is presented in the paper. It is based on the following
dependences: a type of an automaton – the language accepted by the automaton – applications. The given
ontology does not claim to be exhaustive as automata theory is very extensive and it is a complicated problem to
survey all its aspects within one article. Only the main properties of automata and their applications are
considered
