News

30.09.2025 - Automata Tutor goes Open Source

Automata Tutor has been supporting students and educators for years. However, with limited time, we can’t continue developing it alone—and that’s why we’re opening it up to the community.

To keep Automata Tutor alive and growing, we are creating a public Git repository and open it up for the community. Our hope is that with your support, Automata Tutor can continue to evolve and improve as an open-source project.

Stay tuned for the repository link and details on how you can contribute.

14.04.2024 - Implementation Progress

In the following table, you can see the status of the implementation for all problems available in Automata Tutor.
All problems that are highlighted in green are already available. Those that are highlighted in yellow-green might contain bugs, as they have not been tested well yet.

Priority Problem Name Implementation Status Testing Status
1 DFA Construction Completed Completed
2 Regex Construction Completed Completed
3 NFA Construction Completed Completed
4 PDA Construction Completed Completed
5 Grammar Construction Completed Completed
6 Words in Regex Completed Completed
7 Equivalence Classes Completed Completed
8 CYK Algorithm Completed Completed
9 Regex to NFA Completed Completed
10 Words in Grammar Completed Completed
11 Eps-NFA to NFA Implemented Pending
12 While to Turing Machine Pending Pending
13 Chomsky Normal Form Completed Completed
14 Minimization Implemented Pending
15 NFA to DFA Implemented Pending
16 Find Derivation Partially Implemented Pending
17 Language Partition Partially Implemented Pending
18 Petri Net: Invariant Pending Pending
19 Petri Net: Firing Sequence Pending Pending
20 Petri Net: Find Siphon Pending Pending
21 Petri Net: Coverability Graph Pending Pending
22 Petri Net: Reachability Graph Pending Pending
23 Petri Net: Backwards Reachability Pending Pending
24 Petri Net: Bounded Reachability Pending Pending
25 Petri Net: Decide Reachability Pending Pending
26 Petri Net: Marking Unreachability Pending Pending
27 Petri Net: Modify Pending Pending
28 Petri Net: Playground Pending Pending

There are a couple of more things that have not been included yet. We will let you know about our plans soon.

25.03.2024 - Test Week

This week (25.03.-28.03.2024), we are planning to conduct additional tests, which may result in temporary server downtime.

05.03.2024 - New Frontend

After working hard for over a year, we're thrilled to release the alpha version of our new frontend. Since some of you have been asking about the progress of Automata Tutor, we made this "News" page to keep you informed.
This version includes a subset of exercises, chosen based on popularity. Remember, it's just the alpha version, so there might be bugs. Feel free to let us know if you find any.