建立DFA的程序,该DFA以输入(a,b)中的'a'开始和结束