Apuntamentos, resumos, traballos, exames e exercicios de Informática de Outros cursos

• Para q € Q y        €        se define: d(q,       )={p /hay una transicion d q a p etiquetada con        } • d(q,      ) es la coleccion d estados q "siguen" directamente a q pasando por la transicion etiquetada con        • EJEMPLO:






PASO DE AFN CON TRANSI. EPSYLON A AFN SIN TRANSI. EPSYLON: 1) Calcular el Epsylon-cierre d todos los estados 2) Dibujar el automata inicial sin transiciones 3) Poner las transiciones:        (q,       )=      - c [d(     - c(q),      ) ] =  {p₁, p₂,...,p_n} . Dibujamos flechas con el simbolo       desde q hasta todos los p_i (i=1, ... , n) --> Esto se hace para TODOS los ESTADOS (y en cada estado se hace con TODOS los