Definiciones

Un conjunto es una colección de objetos que tienen ciertas restricciones

Un conjunto finito tiene un determinado número de elementos

Un conjunto infinito tiene infinitos números de elementos

Cada operación tiene como operando un conjunto de dos conjuntos y el resultado es un

conjunto. Matemáticamente, los nombres de los conjuntos son mayúsculas y los elementos
son letras o números más bajos

Unión

Unimos cada elemento de dos conjuntos y obtenemos uno nuevo. Usamos el símbolo U para
representar la unión.

A= {2,4,6} y B={1,2,3,4,5} C=AUB={1,2,3,4,5,6}

Potencia

Los elementos del nuevo conjunto son conjuntos. Cada conjunto de la potencia es un conjunto
de conjuntos. Así que el conjunto de potencias tiene subconjuntos del conjunto, incluido el
conjunto vacío

C=2ª ={x/x es un subconjunto de A incluyendo el conjunto vacío}

A={2,4,6} C= {{},{2},{4},{2,4},{2,6},{4,6},{6},{2,4,6}}

Subconjunto propio: Es el conjunto de un subconjunto

Alfabeto: Un alfabeto es un conjunto de elementos llamados simbolos y el nombre de los

conjuntos es representado por E

Cadena: Secuencia de símbolos tomados de un alfabeto

un prefijo de una cadena es una subcadena tomada de la izquierda

un sufijo de una cadena es una subcadena tomada a la derecha

Lenguaje: Es un conjunto de cadenas tomadas del alfabeto

Método inductivo

Muchos teoremas en la teoría de autómatas están probados por inducción matemática.

Supongamos que tenemos una declaración P (n) sobre n no negativa. Un ejemplo
comúnmente elegido es tomar P (n) para ser

-Sumatoria desde i>0 hasta n (n*(n+1))/2

La condición a) en una prueba inductiva se llama LA BASE, y la condición b) se llama PASO

INDUCTIVO, el lado izquierdo de b) que es P (n-1) se llama LA HIPÓTESIS INDUCTIVA

Base: La suma comienza con 1, por lo que nuestra base es el número n = 1. Reemplazando n
con 1 en la fórmula que tenemos

(1(1+1))/2=1
Hipótesis inductivo: Supongamos que P (n-1) es verdadero y se supone que la suma es
correcta para reemplazar n-1 en la fórmula

((n-1)(n-1+1))/2=((n-1)n)/2 para n>=2

Paso inductivo: si P (n-1) es verdadero, entonces P (n) es verdadero. debemos mostrar para
n> 2 que P (n) es verdadero

Traductor: un traductor es un programa para convertir un programa a otro idioma. Como

ensamblador es un traductor. Si tenemos un programa para convertir un programa en lenguaje
C a java idioma, será un traductor.

Interprete: Un intérprete es un programa para convertir una instrucción del programa fuente
(un programa de alto nivel) en instrucciones de código de máquina (computadora) Ej: Mozilla
firefoz, safari, Chrome que convierten el lenguaje de HTML, PHP, et c(Convierte a lenguaje
maquina)

Compilador: un compilador es un programa para convertir un programa fuente (un programa

de alto nivel) a un programa de código de máquina (computadora) más adelante. La
computadora ejecuta el programa de máquina de código. (El compilador convierte hasta el
código ensamblador)

Pasos de un compilador

 Analizador léxico (Salida de léxicos, tokens)

 Analizador sintáctico (Árbol sintáctico)
 Analizador Semántico (Árbol semántico)
 Código intermedio
 Código optimizado
 Código generador (Programa de código máquina de destino (dependiente))

Fases de ejecución

 Preprocesador (modificar programa fuente)

 Compilador (programa objetivo en ensamblador)
 Ensamblador (programa de código reasignable)
 Enlazador / cargador

Un autómata finito consiste en un conjunto finito de estados y un conjunto de símbolos de

transición elegidos de un alfabeto E. Una transición puede volver al estado mismo. Un estado
usualmente se denota q0 que es donde empieza

Un gráfico dirigido llamado diagrama de transición se asocia con un FA de la siguiente manera.

Los vértices corresponden a los estados y transiciones a aristas.

La FA acepta la cadena x si la secuencia de transiciones desde el estado de inicio finaliza en un

estado final o en un estado aceptado

NOTA: Delta extendida es para leer cadenas y delta solito, para leer símbolos

Un lenguaje regular es el que es aceptado por algunos autómatas finitos

DFA (AFD): Es un FA donde cada estado indica exactamente una transición para cada símbolo
en E. Para cada entrada hay un solo estado al que el autómata puede ir desde el estado en que
se encuentre

NFA(AFND): Es un FA donde está permitido cero, se forman una transición más en el mismo
símbolo de entrada. Cuando el Af se permite tenga dos o más estados siguientes para cada
par de estado. Entrada

NFA con E Es un NFA automático en el que algunos estados sin símbolo de entrada podrían
cambiar a otros estados

Equivalencia de DFA y NFA

*Tabla de transiciones

Δ’([q0,q3]),0)=δ({q0},0)U δ({q3],0)

={q0,q3}U{q4} ={q0,q3,q4} Y ASI CON 1

ϵ-Clousure (función de transición extendida)

Unión de cada conjunto q que esta en p

ϵ-Clousure {q0,q1,q2,q3}= ϵ-Clousure {q0}U ϵ-Clousure{q1}U ϵ-Clousure{q2}U ϵ-Clousure{a3}

={q0,q1,q2,q3{U{q1,q2,q3}U{q2,q3}U{q3}

={q0,q1,q2,q3}

Δ”(q0,0)= ϵ-Clousure (p)

= ϵ-Clousure ({q0})

= ϵ-Clousure(q0)

={q0,q1,q2,q3}

P={p/p is in Δ”(q0,0) o en Δ”(q1,0) o em Δ”(q2,0)o en Δ”(q3,0)}

Δ(q0,0)={q1}

Δ(q1,0)={}

Δ(q2,0)={q3}

Δ(q3,0)={}

P={p/p es en {q0} o en {} o en {q3} o en ()}

P={p/p es en {q0} o en {q3}}

P={q0,q3}

Y ASI CON EL SIGUIENTE SIMBOLO DE LA CADENA

Paso 1: tome ∈ el cierre para el estado inicial de NFA como estado inicial de DFA.
Paso 2: Encuentre los estados que se pueden recorrer desde el presente para cada
símbolo de entrada
(unión del valor de transición y sus cierres para cada estado de NFA presente en el
estado actual de DFA).
Paso 3: si se encuentra un nuevo estado, tómelo como estado actual y repita el paso 2.
Paso 4: repita el Paso 2 y el Paso 3 hasta que no haya un nuevo estado en la tabla de
transición de DFA.
Paso 5: Marque los estados de DFA que contienen el estado final de NFA como estados
finales de DFA