Automata Tutor v3

D 2020

Automata Tutor v3

D'ANTONI, Loris; Martin HELFRICH; Jan KŘETÍNSKÝ; Emanuel RAMNEANTU; Maximilian WEININGER et al.

Základní údaje

Originální název

Automata Tutor v3

Autoři

D'ANTONI, Loris; Martin HELFRICH; Jan KŘETÍNSKÝ; Emanuel RAMNEANTU a Maximilian WEININGER

Vydání

Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, od s. 3-14, 12 s. 2020

Nakladatel

Springer

Další údaje

Typ výsledku

Stať ve sborníku

Označené pro přenos do RIV

Organizační jednotka

Fakulta informatiky

ISBN

9783030532901

ISSN

DOI

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

Změněno: 17. 3. 2025 14:43, RNDr. Pavel Šmerk, Ph.D.

Anotace

V originále

Computer science class enrollments have rapidly risen in the past decade. With current class sizes, standard approaches to grading and providing personalized feedback are no longer possible and new techniques become both feasible and necessary. In this paper, we present the third version of Automata Tutor, a tool for helping teachers and students in large courses on automata and formal languages. The second version of Automata Tutor supported automatic grading and feedback for finite-automata constructions and has already been used by thousands of users in dozens of countries. This new version of Automata Tutor supports automated grading and feedback generation for a greatly extended variety of new problems, including problems that ask students to create regular expressions, context-free grammars, pushdown automata and Turing machines corresponding to a given description, and problems about converting between equivalent models - e.g., from regular expressions to nondeterministic finite automata. Moreover, for several problems, this new version also enables teachers and students to automatically generate new problem instances. We also present the results of a survey run on a class of 950 students, which shows very positive results about the usability and usefulness of the tool.

Citovat

D'ANTONI, Loris; Martin HELFRICH; Jan KŘETÍNSKÝ; Emanuel RAMNEANTU a Maximilian WEININGER. Automata Tutor v3. In Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II. Springer, 2020, s. 3-14. ISBN 9783030532901. Dostupné z: https://doi.org/10.1007/978-3-030-53291-8_1.

@inproceedings{2484790,
   author = {D'Antoni, Loris and Helfrich, Martin and Křetínský, Jan and Ramneantu, Emanuel and Weininger, Maximilian},
   booktitle = {Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II},
   doi = {https://doi.org/10.1007/978-3-030-53291-8_1},
   isbn = {9783030532901},
   pages = {3-14},
   publisher = {Springer},
   title = {Automata Tutor v3},
   year = {2020}
}

TY  - CONF
ID  - 2484790
AU  - D'Antoni, Loris - Helfrich, Martin - Křetínský, Jan - Ramneantu, Emanuel - Weininger, Maximilian
PY  - 2020
TI  - Automata Tutor v3
PB  - Springer
SN  - 9783030532901
N2  - Computer science class enrollments have rapidly risen in the past decade. With current class sizes, standard approaches to grading and providing personalized feedback are no longer possible and new techniques become both feasible and necessary. In this paper, we present the third version of Automata Tutor, a tool for helping teachers and students in large courses on automata and formal languages. The second version of Automata Tutor supported automatic grading and feedback for finite-automata constructions and has already been used by thousands of users in dozens of countries. This new version of Automata Tutor supports automated grading and feedback generation for a greatly extended variety of new problems, including problems that ask students to create regular expressions, context-free grammars, pushdown automata and Turing machines corresponding to a given description, and problems about converting between equivalent models - e.g., from regular expressions to nondeterministic finite automata. Moreover, for several problems, this new version also enables teachers and students to automatically generate new problem instances. We also present the results of a survey run on a class of 950 students, which shows very positive results about the usability and usefulness of the tool.
ER  -

D'ANTONI, Loris; Martin HELFRICH; Jan KŘETÍNSKÝ; Emanuel RAMNEANTU a Maximilian WEININGER. Automata Tutor v3. In \textit{Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II}. Springer, 2020, s.~3-14. ISBN~9783030532901. Dostupné z: https://doi.org/10.1007/978-3-030-53291-8\_{}1.

Přehled o publikaci