Las Estructuras Formales: Lenguajes Formales y Gramtica

1. INTRODUCCION Uno de los conceptos ms importantes de este texto es el de Lenguaje. Para llegar a este concepto es necesario definir antes otras nociones ms elementales. Para todas las definiciones utilizaremos extensivamente la teora elemental de conjuntos. 2. SMBOLOS Un smbolo es una entidad abstracta que no definiremos, de la misma manera que los conceptos punto y lnea, no se definen en geometra. Las letras y los dgitos s on ejemplos de smbolos usados con frecuencia. 3. CADENA DE CARACTERES Una cadena (o palabra) es una secuencia finita de smbolos yuxtapuestos. Por mencionar a, b y c son smbolos, y abcb es una cadena. La longitud de una cadena w, que se denota como w , es el numero de smbolos que componen la cadena. Por ejemplo, abcb tiene longitud 4.