Talf
Clasificado en Informática
Escrito el en gallego con un tamaño de 7,07 KB
• 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), ) ] = {p1, p2,...,pn} . Dibujamos flechas con el simbolo desde q hasta todos los pi (i=1, ... , n) --> Esto se hace para TODOS los ESTADOS (y en cada estado se hace con TODOS los