reducing the government budget deficit is a major goal of the current government bitewe no gukunda umwuga nabaye umuntu ukomeye there are deep connections between the theory of semigroups and that of automata