Automata Tutor

Application domain/field

Type of tool

Teaching tool

Expected input

Initial set of exercises

Expected output

Internals

Uses Automata (.NET library for automata)

Comments

Tool for helping teachers and students in large courses on automata and formal languages. It can automatically generate and grade exercises, including providing feedback to the students.

Links

https://automata.model.in.tum.de/

Related papers

https://doi.org/10.1007/978-3-030-53291-8_1

Last publication date

14 July 2020

Related tools

Autotool, JFLAP, Gradience

ProVerB specific

Markdown description: view/edit



ProVerB is a part of SLEBoK. Last updated: February 2023.