Results 11  20
of
48
Antimirov and Mosses’s Rewrite System Revisited
, 2008
"... Antimirov and Mosses proposed a rewrite system for deciding the equivalence of two (extended) regular expressions. In this paper we present a functional approach to that method, prove its correctness, and give some experimental comparative results. Besides an improved version of Antimirov and Mosses ..."
Abstract

Cited by 5 (2 self)
 Add to MetaCart
Antimirov and Mosses proposed a rewrite system for deciding the equivalence of two (extended) regular expressions. In this paper we present a functional approach to that method, prove its correctness, and give some experimental comparative results. Besides an improved version of Antimirov and Mosses’s algorithm, we present a version using partial derivatives. Our preliminary results lead to the conclusion that, indeed, these methods are feasible and, generally, faster than the classical methods.
Testing Extended Regular Language Membership Incrementally by Rewriting
 In Rewriting Techniques and Applications, Lecture Notes in Computer Science 2706
, 2003
"... 1 Introduction Regular expressions represent a compact and useful technique to specify patterns in strings. There are programming and/or scripting languages, such as Perl, which are mostly based on efficient implementations of pattern matchingvia regular expressions. Extended regular expressions (E ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
1 Introduction Regular expressions represent a compact and useful technique to specify patterns in strings. There are programming and/or scripting languages, such as Perl, which are mostly based on efficient implementations of pattern matchingvia regular expressions. Extended regular expressions (ERA), which add complementation (~R) to the usual union (R1 + R2), concatenation (R1 * R2), andrepetition (
From CContinuations to New Quadratic Algorithms For Automaton Synthesis
"... Two classical nondeterministic automata recognize the language denoted by a regular expression: the position automaton which deduces from the position sets defined by Glushkov and McNaughtonYamada, and the equation automaton which can be computed via Mirkin’s prebases or Antimirov’s partial deriva ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
Two classical nondeterministic automata recognize the language denoted by a regular expression: the position automaton which deduces from the position sets defined by Glushkov and McNaughtonYamada, and the equation automaton which can be computed via Mirkin’s prebases or Antimirov’s partial derivatives. Let E  be the size of the expression and �E � be its alphabetic width, i.e. the number of symbol occurrences. The number of states in the equation automaton is less than or equal to the number of states in the position automaton, which is equal to �E�+1. On the other hand, the worstcase time complexity of Antimirov algorithm is O(�E � 3 · E  2), while it is only O(�E � · E) for the most efficient implementations yielding the position automaton (BrüggemannKlein, Chang and Paige, Champarnaud et al.). We present an O(E  2) space and time algorithm to compute the equation automaton. It is based on the notion of canonical derivative which makes it possible to efficiently handle sets of word derivatives. By the way, canonical derivatives also lead to a new O(E  2) space and time algorithm to construct the position automaton. 1
On the average state complexity of partial derivative automata
 International Journal of Foundations of Computer Science
, 2011
"... The partial derivative automaton (Apd) is usually smaller than other nondeterministic finite automata constructed from a regular expression, and it can be seen as a quotient of the Glushkov automaton (Apos). By estimating the number of regular expressions that have ε as a partial derivative, we comp ..."
Abstract

Cited by 3 (3 self)
 Add to MetaCart
The partial derivative automaton (Apd) is usually smaller than other nondeterministic finite automata constructed from a regular expression, and it can be seen as a quotient of the Glushkov automaton (Apos). By estimating the number of regular expressions that have ε as a partial derivative, we compute a lower bound of the average number of mergings of states in Apos and describe its asymptotic behaviour. This depends on the alphabet size, k, and for growing k’s its limit approaches half the number of states in Apos. The lower bound corresponds to consider the Apd automaton for the marked version ofthe regularexpression, i.e.where allitsletters are made different. Experimental results suggest that the average number of states of this automaton, and of the Apd automaton for the unmarked regular expression, are very close to each other.
Derivatives of rational expressions and related theorems
 T.C.S
, 2004
"... Our aim is to study the set of Krational expressions describing rational series. More precisely we are concerned with the definition of quotients of this set by coarser and coarser congruences which lead to an extension – in the case of multiplicities – of some classical results stated in the Boole ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
Our aim is to study the set of Krational expressions describing rational series. More precisely we are concerned with the definition of quotients of this set by coarser and coarser congruences which lead to an extension – in the case of multiplicities – of some classical results stated in the Boolean case. In particular, multiplicity analogues of the well known theorems of Brzozowski and Antimirov are provided.
Inside Vaucanson
 In Proceedings of Implementation and Application of Automata, 10th International Conference (CIAA), Sophia Antipolis
, 2005
"... Abstract. This paper presents some features of the Vaucanson platform. We describe some original algorithms on weighted automata and transducers (computation of the quotient, conversion of a regular expression into a weighted automaton, and composition). We explain how complex declarations due to th ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
Abstract. This paper presents some features of the Vaucanson platform. We describe some original algorithms on weighted automata and transducers (computation of the quotient, conversion of a regular expression into a weighted automaton, and composition). We explain how complex declarations due to the generic programming are masked from the user and finally we present a proposal for an XML format that allows implicit descriptions for simple types of automata. 1
CORRIGENDUM TO OUR PAPER: HOW EXPRESSIONS CAN CODE FOR AUTOMATA
"... Abstract. We correct a mistake made in a previous paper in the construction of an automaton from a rational expression. We used there the definition of derivation of expression given by Antimirov, and this definition has to be further adapted for our purpose. 1991 Mathematics Subject Classification. ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
Abstract. We correct a mistake made in a previous paper in the construction of an automaton from a rational expression. We used there the definition of derivation of expression given by Antimirov, and this definition has to be further adapted for our purpose. 1991 Mathematics Subject Classification. 68Q45, 68Q70. A disturbing example In [7], we were considering the following problem: Is it possible to build an algorithm Ω such that for any rational expression E computed from an automaton A — i.e. E =Φ(A) where Φ is the state elimination method for instance — the following holds: A =Ω(E) ? We did not solve the problem completely, but we have identified two constructions that are good candidates to be the core components of such an algorithm Ω. The first one is the construction of the automaton of derived terms ∆(E) from an expression E, the second one is the computation of the minimal coquotient Υ(B) of an automaton B. Our construction of the automaton of derived terms of E in [7] is a modification of the automaton of partial derivatives of [2] by the introduction of an initial derivation that gives rises to initial derived terms. We shall recall all these definitions below, but, to make a not so long story even shorter, our key statement (Theorem 3.5), that says that the ‘automaton of derived terms of an expression computed from a codeterministic automaton is codeterministic’, is untrue, as shown by the following example. Let A1 be the automaton of Figure 1 (a), and let E1 =(a+b)[(a + b)(a + b)] ∗ be the expression computed from A1, whichwewrite
Finite State Transducers in Haskell
, 2001
"... Acknowledgement I would like to thank my tutor Aarne Ranta, who introduced me to the subject of transducers and has always been there for me throughout the work when I had some questions or if I needed help to get out of a general state of confusion. I would also like to thank my friend Bj"orn ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Acknowledgement I would like to thank my tutor Aarne Ranta, who introduced me to the subject of transducers and has always been there for me throughout the work when I had some questions or if I needed help to get out of a general state of confusion. I would also like to thank my friend Bj"orn Nyberg, who was invaluable in the final step of this work. Finally, I would like to direct a general thanks to all the wonderful people in my life, none mentioned, none forgotten.
Computational Methods in an Algebra of Regular Hedge Expressions
"... Abstract. We propose an algebra of regular hedge expressions built on top of regular hedge grammars as a framework for the analysis and manipulation of hedge languages. We show how linear systems of hedge language equations (LS for short) can be used as an intermediate representation on which to per ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Abstract. We propose an algebra of regular hedge expressions built on top of regular hedge grammars as a framework for the analysis and manipulation of hedge languages. We show how linear systems of hedge language equations (LS for short) can be used as an intermediate representation on which to perform the computation of quotient, intersection, product derivative, and factor matrix of regular hedge languages. Regular hedge grammars and LSs are shown to be formalisms of same expressive power for the representation of hedge languages, and we give algorithms to convert between these two formalisms. 1
On the computation of quotients and factors of regular languages
 In Proceedings of The Sixth Asian Workshop on Foundations of Software (AWFS 2009
"... Abstract. Quotients and factors of regular languages are important notions in the design of computational procedures in the algebra of regular expressions and the analysis of their logical properties. We present algorithms for the computation of quotients and factors of languages specified by regula ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Abstract. Quotients and factors of regular languages are important notions in the design of computational procedures in the algebra of regular expressions and the analysis of their logical properties. We present algorithms for the computation of quotients and factors of languages specified by regular expressions. 1