Around Hopcroft’s Algorithm.pdfVIP

Around Hopcroft’s Algorithm Manuel BACLET 1 and Claire PAGETTI2 1 LSV - ENS de Cachan CNRS - Cachan, France IRIT - UPS CNRS - Toulouse, France baclet@lsv.ens-cachan.fr 2 ONERA / Cert - Toulouse, France claire.pagetti@cert.fr Abstract. In this paper, a reflection is made on an indeterminism inherent to Hopcroft’s minimization algorithm: the splitter choice. We have implemented two natural policies (FIFO and FILO) for managing the s