Automata Tutor v3

DOI10.1007/978-3-030-53291-8_1zbMath1478.97002arXiv2005.01419OpenAlexW3045347538MaRDI QIDQ2226718

Jan Křetínský, Emanuel Ramneantu, Maximilian Weininger, Martin Helfrich, Loris D'Antoni

Publication date: 9 February 2021

Full work available at URL: https://arxiv.org/abs/2005.01419

zbMATH Keywords

automata theorytheory of computationAutomata Tutorautomated gradingpersonalized education

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42) Classical models of computation (Turing machines, etc.) (68Q04) Computer-assisted instruction, e-learning (aspects of mathematics education) (97U50) Theoretical computer science (educational aspects) (97P20)

This page was built for publication: Automata Tutor v3