4 Results for "Theory of Automata"