1.

1) Gramáticas y Lenguajes Formales

Derivación
Por Derecha → usar las reglas de derivación de derecha a izquierda
Por Izquierda → usar las reglas de derivación de izquierda a derecha

G = {∑t, ∑n, S, P}
∑t → Símbolos Terminales S → Axioma
∑n → Símbolos No Terminales P → Reglas de Producción

Gramáticas
Tipo 0 → En el lado izquierdo hay al menos un Símbolo No Terminal
Tipo 1 → Tipo 0 + Los Símbolos No Terminales de la izquierda están a
la derecha
Tipo 2 → Tipo 1 + Del lado izquierdo debe haber solamente un Símbolo
No Terminal
Tipo 3 → Tipo 2 + En la derecha puede haber: un terminal, un no
terminal, o un terminal y un no terminal

Eliminar Recursión a la Izquierda

Dado A → An
A→m
1) Determinar nuevo símbolo No Terminal, A’
2) Determinar nueva regla tal que, A → mA’
3) Determinar nueva regla tal que, A’ → nA’
4) Determinar nueva regla tal que, A’ → λ

1.2) Notaciones para especificar Sintaxis

BNF EBNF Diagrama

Sintáctico
No Terminal <MAYUSC> <MAYUSC>

Terminal ‘minusc’ ‘minusc’

Opcional NO []

OR | |

0 o más NO {} ó {}*
repeticiones

1 o más NO {}+
repeticiones

1
Notación Infija a+b
Notación Postfija (IDR – Izquierda Derecha Raíz) ab+
Notación Prefija (RID – Raíz Izquierda Derecha) +ab

1.3) Máquinas Secuenciales y Autómatas

Expresión Regular
Unión |ó+
Concatenación .
Cierre (Kleene) * (0 o más veces)
Cierre (Positivo) + (1 o más veces)

Asociación ()

Forma Gráfica → Autómatas

Forma Tabular → Tablas de Estados
Forma Funcional → Funciones
ER, BNF, EBNF → Notaciones

Minimizar AFD (Método de Particiones)

1) Separar Estados Finales de los No Finales, creando subconjuntos
2) Determinar Alfabeto del autómata
3) Aplicar las transiciones a los subconjuntos creados
4) Apartar los Estados que tienen comportamiento distinto (derivan a otro
subconjunto)
5) Repetir pasos 3) y 4) hasta que no se puedan hacer más subconjuntos
6) Determinar Autómata con los nuevos Estados

Encontrar AFD Equivalente a AFND

1) Eliminar estados superfluos (no alcanzables por i o que no conducen a f)
2) Construir el conjunto 2|Q| de estados combinados
3) Para cada estado de 2|Q| y símbolo de entrada, analizar los estados
alcanzables
4) Eliminar los estados no alcanzables
5) Construir el grafo del AEFD