Abstract:
It is shown that if for a nondeterministic automaton realizing the set $L$ there exists a deterministic automaton which relaizes the set $L_1$ such that $L \subseteq L_1$, the there also exists a deterministic automaton realizing the set $L$ . An algorithm for construction of this automaton is given. Conditions uder which the set $L$ is realized in the Gill's automaton are described.