Tools to decompose finite state machines.
Updated 2025-04-29 11:36:40 +02:00
Code for generating all kinds of automata
Updated 2025-04-09 21:36:07 +02:00
Some simple things to help me with my homework and to play around with Haskell.
Updated 2025-04-09 21:10:57 +02:00
Minimisation of automata in Haskell (small project)
Updated 2025-04-09 20:55:54 +02:00
Code for "Learning nominal automata"
Updated 2024-10-18 16:36:36 +02:00