hopcroft-algorithm

There are 0 repository under hopcroft-algorithm topic.

realabbas / list-of-algorithms
A comprehensive curated list of algorithms🤠 🏆
algorithms coloring-algorithm graph-algorithms hopcroft-algorithm distributed-algorithm combinatorial-algorithms database-algorithms computational-science information-theory search-algorithm machine-learning-algorithm
26
Hopcroft_verif
VTrelat / Hopcroft_verif
Formal verification in Isabelle(HOL) of Hopcroft's algorithm for minimizing DFAs including runtime analysis
automata-theory formal-methods formal-verification hopcroft-algorithm isabelle-hol theorem-proving
Language:Isabelle 1
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.
automata automata-simulator automata-theory cpp dfa dfa-minimization hopcroft-algorithm nfa nfa2dfa
Language:C++ 0