Finite automata for at least one a and at least one b

Finite automata for at least one a and at least one b
Finite automata for at least one a and at least one b