Libraries tagged by nondeterministic
kendall-hopkins/formal-theory
34 Favers
1198 Downloads
1198 Downloads
FormalTheory is a library that allows for manipulation and conversion of NFAs, DFAs and Regular Expressions.
witrin/formal-theory
1 Favers
18624 Downloads
18624 Downloads
FormalTheory is a library that allows for manipulation and conversion of NFAs, DFAs and Regular Expressions.
carlosv2/fa
0 Favers
6 Downloads
6 Downloads
Nondeterministic finite automaton
c01l/formal-theory
0 Favers
25 Downloads
25 Downloads
FormalTheory is a library that allows for manipulation and conversion of NFAs, DFAs and Regular Expressions.