Technical Report: Match-reference regular expressions and lenses

TL;DR

This paper introduces match-reference lenses and regular expressions that can handle non-regular string formats with repeated substrings, expanding the capabilities of data transformation languages.

Contribution

It develops a new language of lenses and regular expressions capable of translating non-regular formats with dependencies, and introduces the match-reference regex automaton system for decision procedures.

Findings

Defined match-reference regular expressions with variable binding and reuse.

Established semantics for match-reference lenses and regexes.

Proposed the match-reference regex automaton system (MRRAS) for membership testing.

Abstract

A lens is a single program that specifies two data transformations at once: one transformation converts data from source format to target format and a second transformation inverts the process. Over the past decade, researchers have developed many different kinds of lenses with different properties. One class of such languages operate over regular languages. In other words, these lenses convert strings drawn from one regular language to strings drawn from another regular language (and back again). In this paper, we define a more powerful language of lenses, which we call match-reference lenses, that is capable of translating between non-regular formats that contain repeated substrings, which is a primitive form of dependency. To define the non-regular formats themselves, we develop a new language, match-reference regular expressions, which are regular expressions that can bind variables to substrings and use those substrings repeatedly. These match-reference regular expressions are closely related to the familiar ``back-references" that can be found in traditional regular expression packages, but are redesigned to adhere to conventional programming language lexical scoping conventions and to interact smoothly with lens language infrastructure. We define the semantics of match-reference regular expressions and match-reference lenses. We also define a new kind of automaton, the match-reference regex automaton system (MRRAS), for deciding string membership in the language match-reference regular expressions. We illustrate our definitions with a variety of examples.