CSCI260 Finite State Automation.  Checks to see if a String is an instance of a^(n+1)b^n, where a and b are any character and n is the number of characters.