Este documento introduce conceptos fundamentales sobre lenguajes formales y teoría de lenguajes. Explica cómo las entradas y salidas de una computadora pueden representarse como cadenas de un alfabeto. Define conceptos como alfabeto, cadena, longitud de cadena, concatenación y lenguajes. Describe operaciones como potencia de un alfabeto, concatenación de lenguajes y cerradura de Kleene que generan nuevos lenguajes. El documento provee ejemplos para ilustrar estos conceptos teóricos sobre lenguajes formales.