Unidad 3 Autómatas Finitos Guillermo Daniel Prieto Romero 17211553

1. 3.3 Representación de ER usando AFND

1.1. ERs, AFDs y AFNDs son mecanismos equivalentes para denotar los lenguajes regulares. Enestas tres secciones demostraremos esto mediante convertir ER →AFND → AFD → ER. Las dos primeras conversiones son muy relevantes en la práctica, pues permiten construir verificadores o buscadores eficientes a partir de ERs

1.2. imagen

2. 3.4 Minimización de estados en un AF

2.1. a)Estados equivalentes

2.1.1. Dos estados de un autómata finito determinista son estados equivalentes si al unirse en un sólo estado, pueden reconocer el mismo lenguaje regular que si estuviesen separados.

2.2. b)Estados distinguibles

2.2.1. Si dos estados no son equivalentes, se dice que son estados distinguibles. Un estado final con un estado no-final nunca serán equivalentes.

2.3. c) Ejemplo

2.3.1. Redundante

2.3.2. minimo

3. 3.5 Aplicaciones

3.1. Ejemplo en video

3.2. COMPILADOR Un compilador es un programa informático que traduce un programa escrito en un lenguaje de programación a otro lenguaje de programación, generando un programa equivalente que la máquina será capaz de interpretar. Usualmente el segundo lenguaje es código máquina, pero también puede ser simplemente texto. Este proceso de traducción se conoce como compilación