Deterministic regular expressions with interleaving
F Peng, H Chen, X Mou - International Colloquium on Theoretical Aspects …, 2015 - Springer
F Peng, H Chen, X Mou
International Colloquium on Theoretical Aspects of Computing, 2015•SpringerWe study the determinism checking problem for regular expressions extended with
interleaving. There are two notions of determinism, ie, strong and weak determinism.
Interleaving allows child elements intermix in any order. Although interleaving does not
increase the expressive power of regular expressions, its use makes the sizes of regular
expressions be exponentially more succinct. We first show an O (|\varSigma|| E|) time
algorithm to check the weak determinism of such expressions, where\varSigma is the set of …
interleaving. There are two notions of determinism, ie, strong and weak determinism.
Interleaving allows child elements intermix in any order. Although interleaving does not
increase the expressive power of regular expressions, its use makes the sizes of regular
expressions be exponentially more succinct. We first show an O (|\varSigma|| E|) time
algorithm to check the weak determinism of such expressions, where\varSigma is the set of …
Abstract
We study the determinism checking problem for regular expressions extended with interleaving. There are two notions of determinism, i.e., strong and weak determinism. Interleaving allows child elements intermix in any order. Although interleaving does not increase the expressive power of regular expressions, its use makes the sizes of regular expressions be exponentially more succinct. We first show an time algorithm to check the weak determinism of such expressions, where is the set of distinct symbols in the expression. Next, we derive an method to transform a regular expression with interleaving to its weakly star normal form which can be used to rewrite an expression that is weakly but not strongly deterministic into an equivalent strongly deterministic expression in linear time. Based on this form, we present an algorithm to check strong determinism. As far as we know, they are the first time algorithms proposed for solving the weak and strong determinism problems of regular expressions with interleaving.
Springer
Showing the best result for this search. See all results