AUTOMATAS FINITOS

Introduce el texto aquí

1. DEFINICION

   • Quintupla de 5 elementos
     • s = Elemento de Q, que se le denomina como estado inicial
     • ∑ = Es el alfabeto de entrada (Conjunto finito no vacio)
     • δ = Funcion de transicion (Q x ∑)
     • Q = Conjunto finito no vacio de estados
     • f = Subconjunto de Q, denominados como estados finales

2. CLASIFICACION

   • AFN (Automata Finito no Determinista)
     • Capacidad para estar en varios estados simultaneamente
     • Mas compactos y faciles de diseñar que un AFD
     • Aceptan los lenguajes regulares, como el AFD
     • Mismos elementos que un AFD
     • Siempre es posible convertir un AFN a AFD
     • Si una Transicion esta vacia, se considera un AFN
   • AFD (Automata Finito Determinista
     • Existe un unico estado al que se puede llegar partiendo desde el estado inicial
       • Consta de Q, s, ∑, δ y f

3. Conversion de AFN a AFD

   • Primeramente se checan, las transiciones del AFN, para observar las relaciones con los estados
     • Se comienza a iterar:

4. REPRESENTACION EN UNA ER

5. Aplicaciones

6. Minimizacion