Libraries tagged by Köngeter
witrin/formal-theory
1 Favers
18622 Downloads
18622 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
24 Downloads
24 Downloads
FormalTheory is a library that allows for manipulation and conversion of NFAs, DFAs and Regular Expressions.