Master Deterministic Finite Automata of Theory of Computation as Theory of Computation forms core of computer science