Finite automata are machines that recognize languages. They have a finite set of states, transitions between states based on input symbols, a start state, and final states. They accept words in the language by reaching a final state and reject other words. An example FA is given that recognizes words over the alphabet {a,b} with the structure (a+b)*b(a+b)*. Finite automata always transition deterministically based on their current state and input symbol. Various examples of finite automata are constructed to recognize specific languages over given alphabets.