Ather, D.; Saxena, A. K.; Agarwal, A. K. A Simplified Solution To Design DFA That Accept Strings Over Input Symbol { A, B} Having At Least X Number Of A And Exactly X Number Of B. matrix 2014, 2, 1-5.