Theory of self-reproducing automata