发送短信 : Mathematical theory of switching circuits and automata.