Title: Mathematical theory of switching circuits and automata