Key points are not available for this paper at this time.
The learning environment AtoCC is presented to be of use in teaching abstract automata, formal languages, and some of its applications in compiler construction. From a teacher's perspective AtoCC aims to address a broad range of different learning activities forcing the students to actively interact with the subjects being taught.
Hielscher et al. (Mon,) studied this question.