Derivatives of regular expressions and an application

  • Authors:
  • Haiming Chen;Sheng Yu

  • Affiliations:
  • State Key Laboratory of Computer Science Institute of Software, Chinese Academy of Sciences, Beijing, China;Department of Computer Science, University of Western Ontario, London, Ontario, Canada

  • Venue:
  • WTCS'12 Proceedings of the 2012 international conference on Theoretical Computer Science: computation, physics and beyond
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper, we propose a characterization of the structure of derivatives and prove several new properties of derivatives for regular expressions. The above work can be used to solve an issue in using Berry and Sethi's result, i.e., finding the unique representatives of derivatives. As an application, an improvement of Ilie and Yu's proof of the relation between the partial derivative and Glushkov automata is presented.