yam-1111/AutoMinimizer

AutoMinimizer is an interactive visualization tool designed to simplify the process of Deterministic Finite Automata (DFA) minimization using Myhill-Nerode.

Language: TypeScript - Size: 539 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

nyhead/Finite-Automata-Simulator

NFA to DFA converter, DFA minimization, FA acceptance in Haskell

Language: Haskell - Size: 43 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

tan264/DFA-minimization

Language: Java - Size: 5.86 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

tiyabansal/Dfa_Minimization

a c++ program that takes a dfa as input and output its minimum equivalence states partitions and corresponding minimum state transition table.

Language: C++ - Size: 10.7 KB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

Rio-Nyx/CD-Lab

Language: C - Size: 42 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0