El lenguaje es un concepto muy importante que debemos saber,para poder entender a los autómatas.En ésta parte se darán ciertas definiciones elementales para poder entender el concepto, utilizando la teoría de conjuntos.