scholarly journals On Extended Regular Expressions

Author(s):  
Benjamin Carle ◽  
Paliath Narendran
1990 ◽  
Vol 76 (2-3) ◽  
pp. 273-284 ◽  
Author(s):  
Kosaburo Hashiguchi ◽  
Heekeun Yoo

1995 ◽  
Vol 143 (1) ◽  
pp. 51-72 ◽  
Author(s):  
Valentin M. Antimirov ◽  
Peter D. Mosses

2017 ◽  
Vol 7 (1) ◽  
pp. 24-28
Author(s):  
Mirzakhmet Syzdykov

Abstract In this work we present the algorithms to produce deterministic finite automaton (DFA) for extended operators in regular expressions like intersection, subtraction and complement. The method like “overriding” of the source NFA(NFA not defined) with subset construction rules is used. The past work described only the algorithm for AND-operator (or intersection of regular languages); in this paper the construction for the MINUS-operator (and complement) is shown.


2009 ◽  
Vol 20 (04) ◽  
pp. 669-684 ◽  
Author(s):  
MARCO ALMEIDA ◽  
NELMA MOREIRA ◽  
ROGÉRIO REIS

Antimirov and Mosses proposed a rewrite system for deciding the equivalence of two (extended) regular expressions. They argued that this method could lead to a better average-case algorithm than those based on the comparison of the equivalent minimal deterministic finite automata. In this paper we present a functional approach to that method, prove its correctness, and give some experimental comparative results. Besides an improved functional version of Antimirov and Mosses's algorithm, we present an alternative one using partial derivatives. Our preliminary results lead to the conclusion that, indeed, these methods are feasible and, most of the time, faster than the classical methods.


1993 ◽  
Vol 22 (461) ◽  
Author(s):  
Valentin M. Antimirov ◽  
Peter D. Mosses

We consider an extended algebra of regular events (languages) with intersection besides the usual operations. This algebra has the structure of a distributive lattice with monotonic operations; the latter property is crucial for some applications. We give a new complete Horn equational axiomatization of the algebra and develop some term-rewriting techniques for constructing logical inferences of valid equations.


1992 ◽  
Vol 97 (2) ◽  
pp. 217-231
Author(s):  
Heekeun Yoo ◽  
Kosaburo Hashiguchi

Sign in / Sign up

Export Citation Format

Share Document