El documento define conceptos básicos de teoría de lenguajes formales como alfabeto, cadena, clausura, gramática y derivación. Explica que un alfabeto es un conjunto de símbolos, una cadena es una secuencia de símbolos, la clausura incluye todas las combinaciones posibles de símbolos, una gramática genera un lenguaje a través de reglas de producción y la derivación sustituye símbolos para obtener sentencias del lenguaje.