An Efficient Computation of the Equation K-automaton of a Regular K-expression

  • Authors:
  • Jean-Marc Champarnaud;Faissal Ouardi;Djelloul Ziadi

  • Affiliations:
  • (Correspd.) University of Rouen, LITIS, 76800 Saint-Etienne du Rouvray - France. jean-marc.champarnaud@univ-rouen.fr/ faissal.ouardi@univ-rouen.fr/ djelloul.ziadi@univ-rouen.fr;University of Rouen, LITIS, 76800 Saint-Etienne du Rouvray - France. jean-marc.champarnaud@univ-rouen.fr/ faissal.ouardi@univ-rouen.fr/ djelloul.ziadi@univ-rouen.fr;University of Rouen, LITIS, 76800 Saint-Etienne du Rouvray - France. jean-marc.champarnaud@univ-rouen.fr/ faissal.ouardi@univ-rouen.fr/ djelloul.ziadi@univ-rouen.fr

  • Venue:
  • Fundamenta Informaticae
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

The aim of this paper is to describe a quadratic algorithm for computing the equation K-automaton of a regular K-expression as defined by Lombardy and Sakarovitch. Our construction is based on an extension to regular K-expressions of the notion of c-continuation that we introduced to compute the equation automaton of a regular expression as a quotient of its position automaton.