This document defines and provides examples of finite automata. It explains that a finite automaton is a simple machine that recognizes patterns in an input based on a finite set of states, transitions between states labeled with input characters, a start state, and accepting states. The document provides examples of finite automata that recognize words with 3 x's, Pascal variable names, and binary strings ending in 111. It also notes that not all languages can be recognized by a finite automaton, such as strings with equal numbers of 1's and 0's or balanced parentheses.