hopcroft-algorithm

There are 3 repositories under hopcroft-algorithm topic.

  • realabbas/list-of-algorithms

    A comprehensive curated list of algorithms🤠 🏆

    29105
  • Hopcroft_verif

    VTrelat/Hopcroft_verif

    Formal verification in Isabelle(HOL) of Hopcroft's algorithm for minimizing DFAs including runtime analysis

    Language:Isabelle1100

  • pabloDeputter/Automata-Simulator

    A C++ Automata simulator that models and visualizes automata using JSON inputs and generates .dot files for visualization. Built for the "Languages & Automata" 1st bachelor course at the University of Antwerp.

    Language:C++0100