Finite automata for all strings with at least one a

Finite automata for all strings with at least one a
Finite automata for all strings with at least one a