Welcome to Automata Tutor

The goal of the automata tutor is to help students learn automata theory and to help teachers prepare exercises and problem sets.

  • Using the links on the left you can try solving several problems while being assisted by Automata Tutor's personalized feedback.
  • By signing up and logging in you can find more problems and access courses.
  • If you are an instructor please send us an email at loris at cs.wisc.edu after registering so that we can enable course management for you.
  • IMPORTANT: If after registering you do not receive a confirmation email please use the Lost Password link to resend the confirmation email. If you still experience problems, please contact us at loris at cs.wisc.edu
  • JOIN THE TEAM: Do you want to help us adding new features to AutomataTutor? Send an email to loris at cs.wisc.edu
Please read the terms of service and the privacy statement.
If you have questions/ comments / suggestions/ feature requests, please contact us at loris at cs.wisc.edu


Automata tutor makes heavy use of javascript. Please make sure that the javascript support of your browser is enabled. The website have been tested and developed using the web browsers Firefox and Chrome. It is very likely that bugs might show up with other browsers, we apologise for that. We are working on supporting other browsers, but in the mean time you have been warned.