Este documento define conceptos básicos de lenguajes formales y autómatas como símbolos, palabras, longitud de palabras, palabra vacía, operaciones como concatenación, potencia y reflexión. Explica que los autómatas y lenguajes formales permiten realizar estas operaciones y están constituidos por un alfabeto finito de símbolos, el universo de palabras que se pueden formar con dichos símbolos, y dan ejemplos de estos conceptos.