------- Forwarded message follows -------
From: Pipino Cuevas <pipino@cuevas.com>
To: Adolfo Di Mare <adolfo@di-mare.com>
Date: Tue, 29 Jun 2010 21:35:26 -0600
Subject: Autómata Finito Complementario

Este es el Autómata Finito Complementario de la pregunta 2.c) de este examen:
- http://www.di-mare.com/adolfo/cursos/2009-1/ac-ea-f.htm

El autómata complementario es:

     | + | - |
   --+---+----
>* A | B | A |
 * B | D |   |
   D |   |   |

El estado inicial es A y los estados finales son A y B. De ahí obtengo esta
la gramática:

A -> '-' A | '+' B | eps
B -> eps

Saludos,
--
Pipino Cuevas.

------- Forwarded message follows -------

From: Pipino Cuevas <pipino@cuevas.com>
To: Adolfo Di Mare <adolfo@di-mare.com>
Date: Tue, 29 Jun 2010 22:34:33 -0600
Subject: Re: Autómata Finito Complementario

El 29 de junio de 2010 22:34, Adolfo Di Mare <adolfo@di-mare.com> escribió:

Para calcular el autómata complementario necesitás que el autómata finito
determinista esté completo, lo que lográs agregando un estado sumidero que no
es estado final. De lo contrario, algunas hileras que son rechazadas cuando
el autómata determinista no procesa toda la hilera no sea aceptada por el
complementario. Por eso es necsario completar el autómata determinista antes
de trocar estado finales por no finales y viceversa.

La gramática sí corresponde al autómata, pero ese no es el autómata
complementario.

       Adolfo
             ///

------- Forwarded message follows -------
From: Pipino Cuevas <pipino@cuevas.com>
To: Adolfo Di Mare <adolfo@di-mare.com>
Date: Tue, 29 Jun 2010 23:09:13 -0600
Subject: Re: Autómata Finito Complementario

Ahh ve que bien, ya ahora si sale.
Gracias...

--
Pipino Cuevas.

------- End of forwarded message -------