Welcome to Automata Tutor v3
We help students learn and teachers teach.
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 email@example.com
On a related note: We are hiring! Full time developer for Automata Tutor, or half-time developer, half-time PhD-student.
for more details.