Arrow Research search

Author name cluster

Maurice Herwig

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

2 papers
1 author row

Possible papers

2

TCS Journal 2024 Journal Article

Weights of formal languages based on geometric series with an application to automatic grading

  • Florian Bruse
  • Maurice Herwig
  • Martin Lange

We present a weight measure on formal languages based on the summands of a geometric series discounted by the fraction of words of certain length in the language, guaranteeing the weight to be a real value between 0 and 1 for any language. We show that this weight measure is computable for regular languages. As an application, we derive a distance metric between languages as the weight of their symmetric difference and show how it can be used in automatic grading of standard exercises in formal language theory classes.

Details DOI

Highlights Conference 2023 Conference Abstract

Problem-Specific Visual Feedback in Discrete Modelling

  • Maurice Herwig

Discrete modelling as the basis of problem solving is an essential skill for computer scientists, but the correct use of formal languages like propositional logic for such purposes remains a big challenge for undergraduate students. We present a tool, called DiMo, aimed at supporting the acquisition of such formal modelling competencies using propositional logic. The DiMo tool provides a language which allows propositional formulas -- parameterised by integers -- to be specified and checked for satisfiability, validity and equivalence, and thus, allows parametrised real-world problems to be modelled in propositional logic. We specifically focus on DiMo's generic capabilities to form problem-specific feedback that allows users to visualise the result of their modelling attempts in terms of the modelled problemat hand, thus helping students to initiate corresponding learning cycles. The results presented in this talk are based on joint work with Norbert Hundeshagen, John Hundhausen, Stefan Kablowski and Martin Lange. Contributed talk given by Maurice Herwig

Details