Libraries tagged by nondeterministic
kendall-hopkins/formal-theory
34 Favers
1289 Downloads
1289 Downloads
FormalTheory is a library that allows for manipulation and conversion of NFAs, DFAs and Regular Expressions.
witrin/formal-theory
1 Favers
18625 Downloads
18625 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
26 Downloads
26 Downloads
FormalTheory is a library that allows for manipulation and conversion of NFAs, DFAs and Regular Expressions.