Logo des Repositoriums

Auflistung nach Schlagwort "Automatentheorie"

1 - 2 von 2
  • Konferenzbeitrag
    Automatisierte Generierung von Automaten und automatenbasierten Aufgaben
    (DELFI 2020 – Die 18. Fachtagung Bildungstechnologien der Gesellschaft für Informatik e.V., 2020) Judel, Sven; Bergerbusch, Timo; Schroeder, Ulrik
    Dieser Beitrag stellt das Tool Automata Task Random Generator (AuTaRG) vor, das für die Bachelorvorlesung Formale Systeme, Automaten, Prozesse der RWTH Aachen automaten-basierte Aufgaben generiert. Es wird präsentiert, welche automatenbasierte Aufgabentypen behandelt werden, was das jeweilige Lernziel des Aufgabentyps ist, wie Eigenschaften und Zahlenwerte, die ein Automat besitzen muss um für die einzelnen Aufgabentypen geeignet zu sein, ermittelt wurden und wie solche Automaten generiert werden können. In einer Evaluation wurde erwiesen, dass durch die Nutzung des Tools Zeit bei der Generierung der Aufgaben und der Überführung in LaTeX-Code gespart wird und eine, im Vergleich zur händischen Erstellung, größere Aufgabenvariation und –menge generiert werden kann. Dies führt dazu, dass Assistenten weniger Aufwand im Übungsbetrieb betreiben müssen und Studierende mehr Aufgaben zum Üben erhalten.
  • Conference Paper 
    Dungeons & DFAs
    (DELFI 2019, 2019) Röpke, René; Ehlenz, Matthias; Leonhardt, Thiemo; Schroeder, Ulrik
    In diesem Beitrag wird das Konzept und die Implementierung eines Multitouch Lernspiels zur Automatentheorie basierend auf dem an der RWTH Aachen entwickelten MTLG Framework vorgestellt. Es ist ein kollaboratives Lernspiel, welches unterstützt durch Digital Storytelling, einen spielerischen und zielgruppengerechten Einstieg in deterministische endliche Automaten als Themengebiet der Theoretischen Informatik gibt.