Automaton theory and modeling of biological systems