8 research outputs found
A General Framework for the Derivation of Regular Expressions
The aim of this paper is to design a theoretical framework that allows us to
perform the computation of regular expression derivatives through a space of
generic structures. Thanks to this formalism, the main properties of regular
expression derivation, such as the finiteness of the set of derivatives, need
only be stated and proved one time, at the top level. Moreover, it is shown how
to construct an alternating automaton associated with the derivation of a
regular expression in this general framework. Finally, Brzozowski's derivation
and Antimirov's derivation turn out to be a particular case of this general
scheme and it is shown how to construct a DFA, a NFA and an AFA for both of
these derivations.Comment: 22 page
Two-Sided Derivatives for Regular Expressions and for Hairpin Expressions
The aim of this paper is to design the polynomial construction of a finite
recognizer for hairpin completions of regular languages. This is achieved by
considering completions as new expression operators and by applying derivation
techniques to the associated extended expressions called hairpin expressions.
More precisely, we extend partial derivation of regular expressions to
two-sided partial derivation of hairpin expressions and we show how to deduce a
recognizer for a hairpin expression from its two-sided derived term automaton,
providing an alternative proof of the fact that hairpin completions of regular
languages are linear context-free.Comment: 28 page
Symbolic Synthesis of Mealy Machines from Arithmetic Bistream Functions
In this paper, we describe a symbolic synthesis method which given an algebraic expression that specifies a bitstream function f, constructs a (minimal) Mealy machine that realises f. The synthesis algorithm can be seen as an analogue of Brzozowskiâs construction of a finite deterministic automaton from a regular expression. It is based on a coinductive characterisation of the operators of 2-adic arithmetic in terms of stream differential equations.
Regular Expressions and Transducers over Alphabet-invariant and User-defined Labels
We are interested in regular expressions and transducers that represent word
relations in an alphabet-invariant way---for example, the set of all word pairs
u,v where v is a prefix of u independently of what the alphabet is. Current
software systems of formal language objects do not have a mechanism to define
such objects. We define transducers in which transition labels involve what we
call set specifications, some of which are alphabet invariant. In fact, we give
a more broad definition of automata-type objects, called labelled graphs, where
each transition label can be any string, as long as that string represents a
subset of a certain monoid. Then, the behaviour of the labelled graph is a
subset of that monoid. We do the same for regular expressions. We obtain
extensions of a few classic algorithmic constructions on ordinary regular
expressions and transducers at the broad level of labelled graphs and in such a
way that the computational efficiency of the extended constructions is not
sacrificed. For regular expressions with set specs we obtain the corresponding
partial derivative automata. For transducers with set specs we obtain further
algorithms that can be applied to questions about independent regular
languages, in particular the witness version of the independent property
satisfaction question
Derived-Term Automata of Multitape Expressions with Composition
Rational expressions are powerful tools to define automata, but often restricted to single-tape automata. Our goal is to unleash their expressive power for transducers, and more generally, any multitape automaton; for instance
(a + |x+b + |y) â . We generalize the construction of the derived-term automaton by using expansions. This approach generates small automata, and even allows us to support a composition operator
Derivatives of rational expressions with multiplicity
AbstractThis paper addresses the problem of turning a rational (i.e. regular) expression into a finite automaton. We formalize and generalize the idea of âpartial derivativesâ introduced in 1995 by Antimirov, in order to obtain a construction of an automaton with multiplicity from a rational expression describing a formal power series with coefficients in a semiring.We first define precisely what is such a rational expression with multiplicity and which hypothesis should be put on the semiring of coefficients in order to keep the usual identities.We then define the derivative of such a rational expression as a linear combination of expressions called derived terms and we show that all derivatives of a given expression are generated by a finite set of derived terms, that yields a finite automaton with multiplicity whose behaviour is the series denoted by the expression. We also prove that this automaton is a quotient of the standard (or Glushkov) automaton of the expression. Finally, we propose and discuss some possible modifications to our definition of derivation