Stefan Hoffmann

Researcher in Automata Theory, Algorithms, Cybernetics

Contact: hoffmanns (dot) tcs (at) gmail (dot) com

Here, I collect various notes and thoughts.

Automata Theory

The Automata Zoo

Computational Group Theory

The Schreier-Sims Algorithm -- A (very) Naive Implementation · Source Code