Teoría de compiladores - Historial de revisiones

Ariagna idict: /* Conceptos Preliminares: Tokens, Patrones y Lexemas. */

2015-10-07T18:20:42Z

‎Conceptos Preliminares: Tokens, Patrones y Lexemas.

Edeliochajc en 16:10 8 ago 2014

2014-08-08T16:10:41Z

Yalexy idict: /* Compiladores y traductores. */

2014-01-09T13:49:35Z

‎Compiladores y traductores.

Carlos idict en 18:04 9 jul 2012

2012-07-09T18:04:01Z

Ariagna idict en 14:28 12 jun 2012

2012-06-12T14:28:44Z

Yatitza jc.hlg: /* Ver además */

2012-05-26T15:06:50Z

‎Ver además

Yatitza jc.hlg: /* Fuentes */

2012-05-26T15:05:39Z

‎Fuentes

Yatitza jc.hlg: /* Atributos de un token */

2012-05-26T14:36:36Z

‎Atributos de un token

Lsuarezmtzjc: /* Fuentes */

2012-04-03T12:54:45Z

‎Fuentes

Lsuarezmtzjc: /* Fuentes */

2012-04-03T12:54:25Z

‎Fuentes

@@ Línea 323: / Línea 323: @@
 ====Conceptos Preliminares: Tokens, Patrones y Lexemas.====
-Cuando se aborda el tema de la especificación de un Analizador Léxico, se hace mención a términos como token, patrón y lexema, con sus respectivos significados. Observemos el ejemplo correspondiente a la Fig. 2. En general existe un conjunto de cadenas para las cuales se produce el mismo token como salida. Este conjunto de cadenas se describe mediante una regla llamada patrón y está asociada a un token en específico. Un lexema es una secuencia de [[caracteres]] del programa fuente que “matchea” con un patrón correspondiente a un token. Por ejemplo, en la siguiente sentencia correspondiente al lenguaje de programación Pascal
+Cuando se aborda el tema de la especificación de un Analizador Léxico, se hace mención a términos como token, patrón y lexema, con sus respectivos significados. Observemos el ejemplo correspondiente a la Fig. 2. En general existe un conjunto de cadenas para las cuales se produce el mismo token como salida. Este conjunto de cadenas se describe mediante una regla llamada patrón y está asociada a un token en específico. Un lexema es una secuencia de caracteres del programa fuente que “matchea” con un patrón correspondiente a un token. Por ejemplo, en la siguiente sentencia correspondiente al lenguaje de programación Pascal
 const pi = 3.1416;
 la subcadena pi es un lexema para el token “identificador”.
-Los lexemas que matchean con un patrón de un token representan [[cadenas]] del programa fuente que pueden ser manejadas en conjunto como una unidad léxica.
+Los lexemas que matchean con un patrón de un token representan cadenas del programa fuente que pueden ser manejadas en conjunto como una unidad léxica.
 Dicha unidad léxica la representa el token, el cual, en las siguientes fases del proceso de compilación, constituirá un símbolo terminal en la gramática generadora del lenguaje.
 En la mayoría de los lenguajes de programación constituyen tokens los siguientes conjuntos:

@@ Línea 6: / Línea 6: @@
 }}
-'''Teoría de compilador'''
+'''Teoría de compiladores'''. O Teoría de compiladores: En la [[Comunicación|comunicación]] [[Hombre|hombre]]-máquina existe una dificultad real: las [[Computadora|computadoras]] operan sobre [[Bits|bits]] (ceros y unos) y registros y los hombres se entienden por medio de idiomas (lenguaje natural), o utilizan una noción científica determinada por el área de problemas en que trabaja, entre otras vías.
 Los [[Lenguajes de Programación Web|lenguajes de programación]] son el vehículo de comunicación entre el hombre y la [[computadora]]. Un [[Lenguaje de Programación|lenguaje de programación]] es una técnica estándar de comunicación que permite expresar las instrucciones que han de ser ejecutadas en una [[computadora]]. Consiste en un conjunto de reglas sintácticas y semánticas que definen un programa informático. Un programa fuente escrito en un [[Lenguaje de Programación|lenguaje de programación]]  necesita pasar por un proceso de conversión al lenguaje de maquina que entiende la [[computadora]], a ese proceso de conversión del programa fuente al [[Lenguaje|lenguaje]] o código de máquina se le llama proceso de compilación o simplemente compilación. Y al programa capaz de realizar ese proceso se le llama [[Compilador|compilador]] o traductor.
 ==Teoría de compilador==
@@ Línea 160: / Línea 159: @@
 ===Definiciones Básicas.===
 Antes de abordar el concepto de lenguaje, veremos un conjunto de definiciones básicas relacionadas.
-*Alfabeto (Σ): Se entiende por alfabeto un conjunto arbitrario, finito y no vacío, de símbolos. Entre los alfabetos más comunes podemos mencionar el alfabeto binario {0, 1}, el alfabeto latino {a, b, c, d, e, f, g, …}, etc.
+*Alfabeto (Σ): Se entiende por alfabeto un conjunto arbitrario, finito y no vacío, de símbolos. Entre los alfabetos más comunes podemos mencionar el alfabeto binario {0, 1}, el [[alfabeto latino]] {a, b, c, d, e, f, g, …}, etc.
 *Cadena: Una cadena es una secuencia de símbolos de cierto alfabeto colocados uno a continuación del otro.
 : constituye una cadena sobre el alfabeto {0, 1}.

@@ Línea 29: / Línea 29: @@
 Lenguaje de Maquina: Combinación de dígitos [[binarios]] mediante los cuales un ordenador funciona.
-===Compiladores y traductores.===
+===Compiladores y traductores===
 *[[Traductor]] es un programa que toma como entrada un programa escrito en un lenguaje de programación (lenguaje fuente) y produce como salida un programa en otro lenguaje (lenguaje objeto). El traductor se escribe en un lenguaje denominado lenguaje de implementación.
 Cuando el lenguaje fuente es de alto nivel ([[Pascal]], C++, etc.) y el lenguaje objeto es un lenguaje de bajo nivel o de máquina, al traductor se le denomina compilador.
-El lenguaje de [[implementación]] puede ser en general cualquier lenguaje de programación, aunque existen lenguajes explícitamente diseñados para escribir compiladores (FSL, CDL, etc.). El criterio fundamental que se sigue para elegir un lenguaje de implementación es: “Este debe [[minimizar]] el esfuerzo de implementación y [[maximizar]] la calidad del compilador”.
+El lenguaje de implementación puede ser en general cualquier lenguaje de programación, aunque existen lenguajes explícitamente diseñados para escribir compiladores (FSL, CDL, etc.). El criterio fundamental que se sigue para elegir un lenguaje de implementación es: “Este debe minimizar el esfuerzo de implementación y maximizar la calidad del compilador”.
-Generalmente los traductores se representan a través de una T en la que se incluyen los lenguajes que intervienen en el [[proceso]].
+Generalmente los traductores se representan a través de una T en la que se incluyen los lenguajes que intervienen en el proceso.
 *Intérprete por su parte es un programa que toma el [[Código fuente|código fuente]], lo analiza y a diferencia de los compiladores lo ejecuta directamente, sin generar un lenguaje objeto.

@@ Línea 22: / Línea 22: @@
 *[[Semántica]]: Significado de frases generadas por la [[sintaxis]] y el [[léxico]].
-*Lenguaje de [[Programación|programación]]: Conjunto de símbolos y reglas que permiten la comunicación con un [[Computador|computador]].
+*Lenguaje de [[Programación|programación]]: Conjunto de símbolos y reglas que permiten la comunicación con un computador.
-*Lenguaje de alto [[Nivelación|nivel]]: Lenguaje que permite la comunicación de un [[computador]] mediante símbolos convencionales cercanos a un lenguaje natural.
+*Lenguaje de alto [[Nivelación|nivel]]: Lenguaje que permite la comunicación de un computador mediante símbolos convencionales cercanos a un lenguaje natural.
 *Lenguaje de bajo nivel: Similar al lenguaje de máquina con pequeñas modificaciones [[nemotécnicas]] que facilitan su uso, por ejemplo el lenguaje [[ensamblador]].

@@ Línea 54: / Línea 54: @@
 ==Análisis lexicológico.==
-La entrada de un compilador es el [[código]] de un programa escrito en un lenguaje de programación. Dicho código no es más que una secuencia de símbolos pertenecientes al alfabeto del lenguaje de programación. El analizador lexicológico o scanner se encarga de tomarlos y agruparlos en entidades sintácticas simples o elementales denominadas [[Tokens|tokens]] o [[lexemas]].
+La entrada de un compilador es el código de un programa escrito en un lenguaje de programación. Dicho código no es más que una secuencia de símbolos pertenecientes al alfabeto del lenguaje de programación. El analizador lexicológico o scanner se encarga de tomarlos y agruparlos en entidades sintácticas simples o elementales denominadas [[Tokens|tokens]] o [[lexemas]].
 Las categorías de [[token]]s pueden variar de un lenguaje a otro, pero en general se distinguen las siguientes:
 * palabras reservadas

@@ Línea 353: / Línea 353: @@
 ==Ver además==
-*[Herramientas para generar compiladores]
+*[[Herramientas para generar compiladores]]
 ==Fuentes==

← Revisión anterior		Revisión del 15:05 26 may 2012
Línea 351:		Línea 351:

	Note que en algunos pares no es necesario el valor del apuntador, pues la primera componente del par es suficiente para identificar el [[lexema]]. En este pequeño ejemplo, para el token num, el [[Compilador]] puede almacenar en la tabla de símbolos la cadena que forma el número y el [[Puntero (C++)\|puntero]] hacia esa entrada sería el atributo del token num.		Note que en algunos pares no es necesario el valor del apuntador, pues la primera componente del par es suficiente para identificar el [[lexema]]. En este pequeño ejemplo, para el token num, el [[Compilador]] puede almacenar en la tabla de símbolos la cadena que forma el número y el [[Puntero (C++)\|puntero]] hacia esa entrada sería el atributo del token num.
		+
		+	==Ver además==
		+	*[Herramientas para generar compiladores]

	==Fuentes==		==Fuentes==

@@ Línea 350: / Línea 350: @@
 <num, puntero a la entrada en la tabla de símbolos del ‘2’>
-Note que en algunos pares no es necesario el valor del apuntador, pues la primera componente del par es suficiente para identificar el [[lexema]]. En este pequeño ejemplo, para el token num, el [[compilador]] puede almacenar en la tabla de símbolos la cadena que forma el número y el [[Puntero (C++)|puntero]] hacia esa entrada sería el atributo del token num.
+Note que en algunos pares no es necesario el valor del apuntador, pues la primera componente del par es suficiente para identificar el [[lexema]]. En este pequeño ejemplo, para el token num, el [[Compilador]] puede almacenar en la tabla de símbolos la cadena que forma el número y el [[Puntero (C++)|puntero]] hacia esa entrada sería el atributo del token num.
 ==Fuentes==

@@ Línea 356: / Línea 356: @@
 ==Fuentes==
 [http://eva.uci.cu Materiales de apoyo Universidad de las ciencias Informáticas]
 [http://cplus.about.com/od/glossary/g/gloscompiled.htm About.com C/C++/C#]
 [http://www.alegsa.com.ar/Dic/compilador.php Alegasa - Definición de Compilador]
+<br />
 [[Categoría:Telemática]][[Categoría:Informática]]