Automata Tutor v3

We present the third version of Automata Tutor, an online tool for helping teachers and students in large courses on automata and formal languages. It extends massively the functionality of the previous version, which has already been used by thousands of users in dozens of countries. This work will appear in CAV 2020. Although a non-research paper, it targets exactly the Highlights audience, aiming to help in the courses held by many of the attendees.

Authors

• Jan Kretinsky

Keywords

No keywords are indexed for this paper.