AUTOMATAS FINITOS

Introduce el texto aquí

DEFINICION
1. Quintupla de 5 elementos
  1. s = Elemento de Q, que se le denomina como estado inicial
  2. ∑ = Es el alfabeto de entrada (Conjunto finito no vacio)
  3. δ = Funcion de transicion (Q x ∑)
  4. Q = Conjunto finito no vacio de estados
  5. f = Subconjunto de Q, denominados como estados finales
CLASIFICACION
1. AFN (Automata Finito no Determinista)
  1. Capacidad para estar en varios estados simultaneamente
  2. Mas compactos y faciles de diseñar que un AFD
  3. Aceptan los lenguajes regulares, como el AFD
  4. Mismos elementos que un AFD
  5. Siempre es posible convertir un AFN a AFD
  6. Si una Transicion esta vacia, se considera un AFN
2. AFD (Automata Finito Determinista
  1. Existe un unico estado al que se puede llegar partiendo desde el estado inicial
    1. Consta de Q, s, ∑, δ y f
Conversion de AFN a AFD
1. Primeramente se checan, las transiciones del AFN, para observar las relaciones con los estados
  1. Se comienza a iterar:
REPRESENTACION EN UNA ER
Aplicaciones
Minimizacion

Resource summary

	Created by Chriz Trejo about 12 years ago