Welcome to our interactive learning tool for automata inference! Our visualisation tool gives you hands-on experience with the k-tails and EDSM algorithms, allowing you to go through the algorithms step-by-step with your own traces!
Learn
Learn the theory and formal definitions behind the inference algorithms K-tails and EDSM.
Go to learnPlay
Experiment with the inference algorithms yourself in our hands-on learning environment
Go to play