Welcome to Automata Tutor v3

We help students learn and teachers teach.
Please make sure you have javascript enabled when using Automata Tutor.

Automata Tutor is experiencing technical problems

The website takes a long time to load or returns a Proxy error after some time. We are working on fixing this, but have not succeeded so far. For the time being, sadly you cannot reliable use the tool for your teaching. We apologize for the inconvenience. To be notified as soon as the problem is solved, send a mail to automatatutor@model.in.tum.de

On a related note: We are hiring! Full time developer for Automata Tutor, or half-time developer, half-time PhD-student. See here for more details.