Lenguajes Autómatas

Create a Competitive Analysis / SWOT to position your company in the market

Get Started. It's Free
or sign up with your email address
Rocket clouds
Lenguajes Autómatas by Mind Map: Lenguajes Autómatas

1. Alfabetos

1.1. Conjunto de símbolos A={a,b,c,d, ….z}

1.2. Un alfabeto es un conjunto no vacío y finito de símbolos.

1.3. alfabeto

2. Lenguajes

2.1. Un conjunto de cadenas, todas ellas seleccionadas de un Σ∗, donde Σ es un determinado alfabeto se denominan lenguaje

2.2. TIPOS

2.2.1. alto nivel

2.2.1.1. son aquellos que se encuentran mas cercanos al lenguaje natural que al lenguaje maquina

2.2.2. medio nivel

2.2.2.1. son los lenguajes que se encuentran en un punto intermedio de los lenguajes antes mencionados

2.2.3. bajo nivel

2.2.3.1. lenguaje maquina

2.2.3.2. leguaje ensamblador

3. Cadenas

3.1. Concatenación de símbolos pertenecientes a un alfabeto A={a,b,c,d, ….z}

3.2. Cadena Vacia

3.2.1. La cadena vacía es aquella cadena que presenta cero apariciones de símbolos. Esta cadena, designada por ε, es una cadena que puede construirse en cualquier alfabeto.

3.3. Longitud de una cadena

3.3.1. Suele ser útil clasificar las cadenas por su longitud, es decir, el número de posiciones ocupadas por símbolos dentro de la cadena. Por ejemplo, 01101 tiene una longitud de 5.

3.4. Concatenación de cadenas

3.4.1. Sean x e y dos cadenas. Entonces, xy denota la concatenación de x e y, es decir, la cadena formada por una copia de x seguida de una copia de

4. Compilador

4.1. Es un traductor que convierte un texto escrito en un lenguaje fuente de alto nivel en un programa objeto en código máquina.

4.2. Fases de un Compilador

4.2.1. Análisis Léxico: Esta fase se encarga de verificar si todas las cadenas pertenecen o no al lenguaje.

4.2.2. Análisis Sintáctico: En esta fase se analiza la estructura de las expresiones en base a gramáticas.

4.2.3. Análisis Semántico: Este análisis es más dificil de formalizar, determina el tipo de los resultados intermedios, comprobar que los argumentos que tienen un operador pertenecen al conjunto de operadores posible, y si son compatibles entre sì.

4.3. Ventajas

4.3.1. El programa se compila una sola vez, pero se puede ejecutar muchas.

4.3.2. La ejecuci´on del programa objeto es mucho m´as r´apida que la interpretacion del fuente.

4.3.3. El compilador tiene una visi´on completa del programa, por lo que puede dar una informaci´on m´as detallada de los errores cometidos por el programador.

4.4. Características

4.4.1. Front End: parte que analiza el código fuente, comprueba su validez, genera el árbol de derivación y rellena los valores de la tabla de símbolos. Parte que suele ser independiente de la plataforma o sistema operativo para el que funcionará.

4.4.2. Back End: parte en donde se genera el código máquina exclusivo para una plataforma a partir de lo analizado en el front end. Por lo general el resultado del back end no puede ser ejecutado directamente, se necesita pasar por un proceso de enlazado (linker).

5. Es el estudio de dispositivos de cálculo abstractos, es decir, de las “máquinas”

5.1. El autómata: es un ordenador analógico. Se trata de dispositivo electrónico o hidráulico diseñado para manipular la entrada de datos

5.1.1. tipos de autómatas

5.1.1.1. Autómatas Finitos

5.1.1.2. Autómatas de Pila

5.1.1.3. Máquina de Turing

5.1.2. Aplicaciones

5.1.2.1. La disminución de tamaño y el menor costo han permitido que los autómatas sean utilizados en todos los sectores de la industria

6. Operaciones con cadenas

6.1. La concatenación de dos cadenas w con z es la cadena que se obtiene al añadir a la cadena w la cadena z. Se denota por wz o w·z. La potencia de una palabra w sobre un alfabeto se define para n  N como:

6.1.1. union

6.1.2. concatenacion

6.1.3. cerradura de kleene

6.1.4. cerradura positiva

7. SUBCADENAS

7.1. Una cadena w es una u subpalabra de una cadena z si existen las cadenas x e y para las cuales z = xwy. La inversa o traspuesta de una palabra w es la imagen refleja de w.

8. Traductor

8.1. Es una máquina teórica que tiene como entrada un texto escrito en un lenguaje L1 y como salida un texto escrito en un lenguaje L2. Habitualmente se denomina a L1 lenguaje fuente y a L2 lenguaje objeto.

9. BIBLIOGRAFIA

9.1. TEORIA DE AUTOMATAS Y LENGUAJES FORMALES

9.2. AUTOMATAS Y LENGUAJES ( un enfoque dediseño),Ramon Brena, 2003.

9.3. AUTÓMATAS Y LENGUAJES FORMALES, Edgar Alberto Quiroga Rojas, 2008.

9.4. Teoría de autómatas) lenguajes formales, Dean Kelley, 1995.

9.5. AUTOMATAS, Michelle Brenes