We investigate the complexity of several predicates on regular sets. In particular, we show: 1) the equivalence and emptiness problem for regular expressions using only the operators -, $\cup$, ., and $\cap$ are p-complete. 2) the emptiness problem for regular expressions using the operators -, $\cup$, ., $\cap$ and * is tape-hard; 3) the emptiness problem for regular expressions using the operators -, $\cup$, ., $\cap$ and 2 is tape-hard; 4) the equivalence problem for regular expressions using the operators -, $\cup$, ., $\cap$ and * is not polynomial in tape; and 5) the equivalence problem for regular expressions using the operators -, $\cup$, ., $\cap$ and 2 requires exponential time
This is a library of constructions on regular expressions and lan-guages. It provides the operations...
The article describes a compact formalization of the relation between regular expressions and determ...
The article describes a compact formalization of the relation between regular expressions and determ...
AbstractSeveral observations are presented on the computational complexity of regular expression pro...
AbstractSeveral observations are presented on the computational complexity of regular expression pro...
AbstractIn this paper, we study the succinctness of regular expressions (REs) extended with interlea...
We investigate the following: (1) the relationship between the classes of languages accepted by det...
AbstractIn this work we study the following implication problem for regular expressions: “Given a se...
AbstractWe consider regular expressions extended with the interleaving operator, and investigate the...
AbstractWe consider regular expressions extended with the interleaving operator, and investigate the...
We consider the complexity of the equivalence and containment problems for regular expressions and c...
AbstractIt is known that the equivalence problem for the class URE of unrestricted regular expressio...
We study the succinctness of the complement and intersection of regular expressions. In particul...
In this dissertation, we emphasize productiveness not just undecidability since pro- ductiveness imp...
This is a library of constructions on regular expressions and lan-guages. It provides the operations...
This is a library of constructions on regular expressions and lan-guages. It provides the operations...
The article describes a compact formalization of the relation between regular expressions and determ...
The article describes a compact formalization of the relation between regular expressions and determ...
AbstractSeveral observations are presented on the computational complexity of regular expression pro...
AbstractSeveral observations are presented on the computational complexity of regular expression pro...
AbstractIn this paper, we study the succinctness of regular expressions (REs) extended with interlea...
We investigate the following: (1) the relationship between the classes of languages accepted by det...
AbstractIn this work we study the following implication problem for regular expressions: “Given a se...
AbstractWe consider regular expressions extended with the interleaving operator, and investigate the...
AbstractWe consider regular expressions extended with the interleaving operator, and investigate the...
We consider the complexity of the equivalence and containment problems for regular expressions and c...
AbstractIt is known that the equivalence problem for the class URE of unrestricted regular expressio...
We study the succinctness of the complement and intersection of regular expressions. In particul...
In this dissertation, we emphasize productiveness not just undecidability since pro- ductiveness imp...
This is a library of constructions on regular expressions and lan-guages. It provides the operations...
This is a library of constructions on regular expressions and lan-guages. It provides the operations...
The article describes a compact formalization of the relation between regular expressions and determ...
The article describes a compact formalization of the relation between regular expressions and determ...