Topic: "hopcroft-algorithm"
realabbas/list-of-algorithms
A comprehensive curated list of algorithms🤠🏆
Size: 82 KB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 27 - Forks: 5
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: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0
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: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
