/nfa-equivalence

Checking NFA equivalence with bisimulations up to congruence

Primary LanguageRacket

Stargazers