Los puntos clave no están disponibles para este artículo en este momento.
Se nos presenta un sistema de transición de manera implícita a través de una representación compacta y deseamos realizar simultáneamente un análisis de alcanzabilidad y minimización sin construir primero todo el gráfico del sistema. Presentamos un algoritmo para este problema que se aplica a sistemas generales, siempre que tengamos operaciones primitivas adecuadas para manipular bloques de estados y podamos determinar la terminación; el número de operaciones necesarias para construir el gráfico alcanzable mínimo es cuadrático en el tamaño de este gráfico. Especializamos el método para obtener algoritmos eficientes para máquinas de estado finito extendidas que aplican transformaciones afines separables sobre las variables.
Lee et al. (Wed,) estudiaron esta cuestión.