GitHub topics: hopcroft-algorithm
realabbas/list-of-algorithms
A comprehensive curated list of algorithms🤠🏆
Size: 82 KB - Last synced at: 9 months ago - Pushed at: about 6 years ago - Stars: 27 - Forks: 5
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++ - Size: 4.96 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
VTrelat/Hopcroft_verif
Formal verification in Isabelle(HOL) of Hopcroft's algorithm for minimizing DFAs including runtime analysis
Language: Isabelle - Size: 16.2 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0
