automata-theory topic

List automata-theory repositories

Automata-Theory-Conversions

26
Stars
4
Forks
Watchers

Conversions covered: regex to NFA, NFA to DFA, DFA to regex. Minimizing DFA.

categorical-automata

15
Stars
1
Forks
Watchers

Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2303.03867, https://arxiv.org/pdf/2303.03865, https://arxiv.org/...

ts-automata

24
Stars
0
Forks
Watchers

Automata utility package for FSMs, PDAs, TMs in JS/TS.