@techreport{Sprengel2024,
  author    = {Sprengel, Frauke},
  title     = {GraFLAP - Automated Grading of Formal Languages and Automata Problems},
  doi       = {10.25968/opus-3392},
  institution = {Fakult{\"a}t IV - Wirtschaft und Informatik},
  pages     = {18},
  year      = {2024},
  abstract  = {Grammars, automata, and machines in theoretical computer science can be viewed as specialized types of programs. Automata and grammars can be graded automatically using sets of words that either belong or don't belong to the corresponding language. For machines, traditional unit testing with predefined input and output can be performed. Additionally, we can verify whether automata, grammars, or machines are of the requested type. Students use JFLAP for constructing and testing automata and machines. Our grading system, GraFLAP, builds upon JFLAP and includes additional testing capabilities. We provide tasks in ProFormA format and utilize Grappa to connect the grader to Moodle.},
  subject      = {Moodle},
  language  = {en}
}