An algorithm to design finite automata that accept strings over input symbol a and b having exactly x number of a & y number of b | IEEE Conference Publication | IEEE Xplore