/**
* Verifica si la eliminación de estados inalcanzables produjo algún cambio sobre el <code>AFD
* </code> original.
*
* @return <code>true</code> si la eliminación de estados inalcanzables produjo algún cambio sobre
* el <code>AFD</code> original, <code>false</code> en caso contrario.
*/
public boolean inalcanzablesEliminados() {
if (afdOriginal.toString().equals(afdPostInalcanzables.toString())) return false;
else return true;
}
/**
* Verifica si la eliminación de estados identidades produjo algún cambio sobre el <code>AFD
* </code> resultante de la minimización.
*
* @return <code>true</code> si la eliminación de estados identidades produjo algún cambio sobre
* el <code>AFD</code> resultante de la minimización, <code>false</code> en caso contrario.
*/
public boolean identidadesEliminados() {
if (afdPostMinimizacion.toString().equals(afdPostIdentidades.toString())) return false;
else return true;
}
