Informes técnicos de investigación DSIC-TLCC

Colección de documentos de trabajo, informes técnicos y otro material de investigación realizado por los investigadores del Departamento de Sistemas Informáticos y Computación (DSIC). Grupo TLCC: Extensiones de la Programación Lógica (Extensions of Logic Programming) de la Universitat Politècnica de València en el desarrollo de sus investigaciones.

URI permanente para esta colecciónhttps://riunet.upv.es/handle/10251/8362

Examinar

Envíos recientes

Mostrando 1 - 1 de 1
  • Miniatura
    Item type: Informe , Access status: Abierto ,
    DFA minimization: from Brzozowski to Hopcroft
    (Universitat Politècnica de València, 2013-03-14) García Gómez, Pedro; López Rodríguez, Damián; Vázquez-de-Parga Andrade, Manuel; Departamento de Sistemas Informáticos y Computación; Escuela Técnica Superior de Ingeniería Informática; Instituto Universitario Valenciano de Investigación en Inteligencia Artificial
    Minimization of automata is a classic problem in Computer Sci- ence which is still studied nowadays. In this paper, we first propose a polynomial minimization method directly derived from Brzozowski¿s algorithm, and second, we show how the consideration of some effi- ciency improvements on this algorithm lead to obtain an algorithm equivalent to Hopcroft¿s.