A Functional Program for Regular Expressions Matching

Abstract of Invited Talk
  • Thomas Wilke
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6795)

Abstract

Regular expressions [4] and tools to handle them, especially tools for regular expression matching—an early one is described in the seminal paper [5] by Ken Thompson—, are one of the major achievements of formal language and automata theory. Google counts 303,000 results for “regular expressions matching” (May 4, 2011); there are numerous command line tools for working with regular expressions such as grep; Google released a regular expression C++ library not long ago [3]; almost every programming language provides support for regular expressions; and even the text editor I am using to produce the source code of this LaTeX document has an extensive regular expression library.

References

  1. 1.
    Fischer, S., Huch, F., Wilke, F.: A play on regular expressions: functional pearl. In: Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming, ICFP 2010, pp. 357–368. ACM, New York (2010)Google Scholar
  2. 2.
    Glushkov, V.M.: On a synthesis algorithm for abstract automata. Ukr. Matem. Zhurnal 12(2), 147–156 (1960)CrossRefMATHGoogle Scholar
  3. 3.
    Google: Re2: a principled approach to regular expression matching (March 11, 2010), http://google-opensource.blogspot.com/2010/03/re2-principled-approach-to-regular.html (press release)
  4. 4.
    Kleene, S.: Representation of events in nerve nets and finite automata. In: Shannon, C., McCarthy, J. (eds.) Automata Studies, pp. 3–42. Princeton University Press, Princeton (1956)Google Scholar
  5. 5.
    Thompson, K.: Programming techniques: Regular expression search algorithm. Commun. ACM 11, 419–422 (1968)CrossRefMATHGoogle Scholar
  6. 6.
    xkcd.com: Regular expressions, http://xkcd.com/208/

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Thomas Wilke
    • 1
  1. 1.Institut für InformatikChristian-Albrechts-Universität zu KielGermany

Personalised recommendations