myhill-nerode-theorm

Star

Here are 4 public repositories matching this topic...

nyhead / Finite-Automata-Simulator

Star

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

dfa-minimization reachable nfa-to-dfa-conversion subset-construction dfa-minimization-algorithm myhill-nerode-theorm

Updated Jul 22, 2023
Haskell

tan264 / DFA-minimization

Star

automata dfa-minimization myhill-nerode-theorm

Updated Jun 16, 2023
Java

Rio-Nyx / CD-Lab

Star

compiler-design lexical-analyzer epsilon-nfa myhill-nerode-theorm

Updated Feb 6, 2023
C

yam-1111 / AutoMinimizer

Star

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

finite-state-machine automata-simulator dfa-minimization myhill-nerode-theorm

Updated Feb 5, 2025
TypeScript

Improve this page

Add a description, image, and links to the myhill-nerode-theorm topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the myhill-nerode-theorm topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

myhill-nerode-theorm

Here are 4 public repositories matching this topic...

nyhead / Finite-Automata-Simulator

tan264 / DFA-minimization

Rio-Nyx / CD-Lab

yam-1111 / AutoMinimizer

Improve this page

Add this topic to your repo