Games for Succinctness of Regular Expressions

09/17/2021
by   Miikka Vilander, et al.
0

We present a version of so called formula size games for regular expressions. These games characterize the equivalence of languages up to expressions of a given size. We use the regular expression size game to give a simple proof of a known non-elementary succinctness gap between first-order logic and regular expressions. We also use the game to only count the number of stars in an expression instead of the overall size. For regular expressions this measure trivially gives a hierarchy in terms of expressive power. We obtain such a hierarchy also for what we call RE over star-free expressions, where star-free expressions, that is ones with complement but no stars, are combined using the operations of regular expressions.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/27/2020

A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity

Robin Milner (1984) gave a sound proof system for bisimilarity of regula...
research
07/12/2023

A Program That Simplifies Regular Expressions (Tool paper)

This paper presents the main features of a system that aims to transform...
research
02/05/2018

Deterministic Regular Expressions With Back-References

Most modern libraries for regular expression matching allow back-referen...
research
11/22/2021

A Complete Axiom System for 1-Free Kleene Star Expressions under Bisimilarity: An Elementary Proof

Grabmayer and Fokkink recently presented a finite and complete axiomatiz...
research
06/14/2022

Learning from Uncurated Regular Expressions

Significant work has been done on learning regular expressions from a se...
research
08/24/2017

A Computational Interpretation of Context-Free Expressions

We phrase parsing with context-free expressions as a type inhabitation p...
research
04/24/2021

ReGiS: Regular Expression Simplification via Rewrite-Guided Synthesis

Expression simplification is an important task necessary in a variety of...

Please sign up or login with your details

Forgot password? Click here to reset