En la primera figura del ejemplo, se muestra un autómata con el estado inaccesible "d", el cual puede eliminarse inmediatamente.