论文标题
自动教师V3
Automata Tutor v3
论文作者
论文摘要
在过去的十年中，计算机科学课的入学率迅速增加。有了当前的班级尺寸，不再可能采用标准的评分和提供个性化反馈的方法，并且新技术变得可行和必要。在本文中，我们介绍了第三版的自动机辅导员，该工具是帮助教师和学生在自动机和正式语言上的大型课程的工具。第二版的Automata导师支持有限Automata结构的自动分级和反馈，并且已经被数十个国家 /地区的数千名用户使用。 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.此外，对于几个问题，这个新版本还使教师和学生能够自动生成新的问题实例。我们还介绍了950名学生班级的调查结果，这显示了有关该工具的可用性和实用性的非常积极的结果。
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.
