Unidad 1 Conceptos Lenguajes y Automatas 1

2
LENGUAJE: Un conjunto de palabras, formado por símbolos en un alfabeto dado. ALFABETO: Es un conjunto finito no vacío de elementos llamados “Símbolos”. Y se denota un alfabeto con la letra ∑ y este conjunto de símbolos forman parte de un lenguaje. LENGUAJE FORMAL: Lenguaje descrito mediante un formalismo matemático. CADENA: Una cadena es una secuencia finita de símbolos de un determinado alfabeto. PALABRAS: Conjunto de símbolos de un alfabeto. TIPOS DE LENGUAJES: 1. El lenguaje más general será, tipo 0, y no posee restricción alguna. Este conjunto engloba el conjunto de todos los lenguajes posibles. 2. Los lenguajes de tipo1, también llamados lenguajes “sensibles al contexto”, al permitir que el “papel” de las palabras dependa de la posición en que aparezcan. La mayor parte de los lenguajes de ordenador pertenecen a este tipo. 3. Lenguajes de tipo 2, o lenguajes “independientes del contexto”. En ellas el significado de una palabra es independiente del lugar que ocupa en la frase. 4. Lenguajes de tipo 3, o lenguajes regulares, son los que presentan una estructura más sencilla. HERRAMIENTAS COMPUTACIONALES LIGADAS A LENGUAJES: Básicamente son las siguientes: 1-Diagramas Funcionales. 2-Interpretación de Datos. 3-Bases de Datos. 4-Algoritmos. 5-Pseudo-códigos. ¿Qué es un traductor? Un traductor es un mediador entre dos entidades. Un traductor convierte un lenguaje de entrada (código fuente) a una de salida (código objeto). Compilador => por lote. Interprete => por línea.

description

Conceptos Lenguajes y Automatas 1

Transcript of Unidad 1 Conceptos Lenguajes y Automatas 1

Page 1: Unidad 1 Conceptos Lenguajes y Automatas 1

LENGUAJE: Un conjunto de palabras, formado por símbolos en un alfabeto dado. ALFABETO: Es un conjunto finito no vacío de elementos llamados “Símbolos”. Y se denota un alfabeto con la letra ∑ y este conjunto de símbolos forman parte de un lenguaje.

LENGUAJE FORMAL: Lenguaje descrito mediante un formalismo matemático.

CADENA: Una cadena es una secuencia finita de símbolos de un determinado alfabeto.

PALABRAS: Conjunto de símbolos de un alfabeto.

TIPOS DE LENGUAJES:

1. El lenguaje más general será, tipo 0, y no posee restricción alguna. Este conjunto engloba el conjunto de todos los lenguajes posibles.

2. Los lenguajes de tipo1, también llamados lenguajes “sensibles al contexto”, al permitir que el “papel” de las palabras dependa de la posición en que aparezcan. La mayor parte de los lenguajes de ordenador pertenecen a este tipo.

3. Lenguajes de tipo 2, o lenguajes “independientes del contexto”. En ellas el significado de una palabra es independiente del lugar que ocupa en la frase.

4. Lenguajes de tipo 3, o lenguajes regulares, son los que presentan una estructura más sencilla.

HERRAMIENTAS COMPUTACIONALES LIGADAS A LENGUAJES:

Básicamente son las siguientes: 1-Diagramas Funcionales. 2-Interpretación de Datos. 3-Bases de Datos. 4-Algoritmos. 5-Pseudo-códigos.

¿Qué es un traductor? Un traductor es un mediador entre dos entidades. Un traductor convierte un lenguaje de entrada (código fuente) a una de salida (código objeto).

Compilador => por lote.

Interprete => por línea.

Page 2: Unidad 1 Conceptos Lenguajes y Automatas 1

Estructura de un traductor:

Fases de un Compilador

a) Análisis Léxico: Lee los caracteres del programa fuente y se agrupan en cadenas.

b) Análisis Sintáctico: Grupo de componentes léxicos en fases gramáticas que el compilador

utiliza para generar alguna salida.

c) Análisis Semántico: Intenta detectar instrucciones para realizar alguna operación.

Lectura de Bloque

Análisis léxico

Análisis Sintáctico

Análisis Semántico

Generación de Código

Ejecución

Tabla de

símbolos

Diagrama

Fuente

Análisis Léxico

Secuencia de Simbolos

Análisis Sintáctico

Árbol Sintáctico

Análisis Semántico