Grammar construction methods for extended deterministic expressions

01/04/2023
by   Xiaoying Mou, et al.
0

Extended regular expressions with counting and interleaving are widely used in practice. However the related theoretical studies for this kind of expressions currently cannot meet the need of practical work. This paper develops syntax definitions for extended deterministic expressions and their subclasses, hope to completely solve the long-standing problem that there are no syntax definitions for this kind of expressions, which has become an important reason for restricting the use of extended expressions.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/09/2022

Lang-n-Send Extended: Sending Regular Expressions to Monitors

In prior work, Cimini has presented Lang-n-Send, a pi-calculus with lang...
research
02/05/2018

Deterministic Regular Expressions With Back-References

Most modern libraries for regular expression matching allow back-referen...
research
05/31/2018

Practical Study of Deterministic Regular Expressions from Large-scale XML and Schema Data

Regular expressions are a fundamental concept in computer science and wi...
research
03/17/2018

An extended type system with lambda-typed lambda-expressions (extended version)

We present the type system d, an extended type system with lambda-typed ...
research
03/21/2018

An extended type system with lambda-typed lambda-expressions

We present the system d, an extended type system with lambda-typed lambd...
research
01/28/2020

Normalizing Casts and Coercions

This system description introduces norm_cast, a toolbox of tactics for t...
research
11/10/2021

NRPyLaTeX: A LaTeX interface to computer algebra systems for general relativity

While each computer algebra system (CAS) contains its own unique syntax ...

Please sign up or login with your details

Forgot password? Click here to reset