Automated Grading of Regular Expressions

Su Hyeon Kim, Youngwook Kim, Yo Sub Han, Hyeonseung Im, Sang Ki Ko

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

With the rapid transition to distance learning, automatic grading software becomes more important to both teachers and students. We study the problem of automatically grading the regular expressions submitted by students in courses related to automata and formal language theory. In order to utilize the semantic information of the regular expression, we define a declarative logic that can be described by regular language and at the same time has natural language characteristics, and use it for the following tasks: 1) to assign partial grades for incorrect regular expressions and 2) to provide helpful feedback to students to make them understand the reason for the grades and a way to revise the incorrect regular expressions into correct ones. We categorize the cases when students’ incorrect submissions deserve partial grades and suggest how to assign appropriate grades for each of the cases. In order to optimize the runtime complexity of the algorithm, two heuristics based on automata theory are proposed and evaluated on the dataset collected from undergraduate students. In addition, we suggest Regex2NL which translates regular expressions to natural language descriptions to give insight to students so that they can understand how the regular expressions work.

Original languageEnglish
Title of host publicationProgramming Languages and Systems - 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Proceedings
EditorsThomas Wies
PublisherSpringer Science and Business Media Deutschland GmbH
Pages90-112
Number of pages23
ISBN (Print)9783031300431
DOIs
StatePublished - 2023
Event32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023 - Paris, France
Duration: 22 Apr 202327 Apr 2023

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13990 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023
Country/TerritoryFrance
CityParis
Period22/04/2327/04/23

Keywords

  • MSO logic
  • automata theory
  • automated grading system
  • regular expressions

Fingerprint

Dive into the research topics of 'Automated Grading of Regular Expressions'. Together they form a unique fingerprint.

Cite this