Lecture 5 Regular Expressions CSCI – 1900 Mathematics for Computer Science Fall 2014 Bill Pine

CSCI 1900 Lecture Lecture Introduction Reading –Rosen - Section 13.4 (pages ) Review of Strings Regular Expressions

CSCI 1900 Lecture Review of Strings Recall: String : a sequence of letters or symbols written without commas Example: –The sequences of characters : W, a, k, e,, u, p –Is represented by the string “Wake up” Another example –a, b, a, b, a, b, a, … is a sequence, i.e., “abababa…” is a string –The corresponding set is {a, b}

CSCI 1900 Lecture Strings and Regular Expressions Given a set A, A* is the set of all finite sequences of elements of A Example: –A = alphabet = {a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z} –A* = words (the finite sequences, from A, written without commas) –A* contains all possible words, even those that are unpronounceable or make no sense such as “prsartkc” The empty sequence or empty string is represented with 

CSCI 1900 Lecture Catenation Two strings may be joined into a single string Assume w 1 = s 1 s 2 s 3 s 4 …s n and w 2 = t 1 t 2 t 3 t 4 …t k The catenation of w 1 with w 2 is the sequence s 1 s 2 s 3 s 4 …s n t 1 t 2 t 3 t 4 …t k Notation: catenation of w 1 with w 2 is written as w 1  w 2 or w 1 w 2, Example –w 1 = Bat w 2 = woman –w 1  w 2 = Batwoman

CSCI 1900 Lecture Catenation (cont) In many computer languages, the | pipe symbol or + is usually used to denote catenation Sometimes catenation is referred to as concatenation

CSCI 1900 Lecture Some Properties of Catenation If w 1, w 2 are elements of A*, then w 1  w 2 is an element of A* w  = w and  w = wwhere  is the null string A subset B of A* has its own set B* which contains sentences made up from the words of A For example: B = {Kirk, Spock, Flies, Runs, Well, Ship} is a subset of A* where A = Latin alphabet The string “KirkRunsWell” is an element of B*

CSCI 1900 Lecture Regular Expressions The following is from "Regular expressions trace back to the work of an American mathematician by the name of Stephen Kleene (one of the most influential figures in the development of theoretical computer science) who developed regular expressions as a notation for describing what he called 'the algebra of regular sets.' His work eventually found its way into some early efforts with computational search algorithms, and from there to some of the earliest text- manipulation tools on the Unix platform (including ed and grep). In the context of computer searches, the '*' is formally known as a 'Kleene star.'“

CSCI 1900 Lecture Regular Expressions (cont) A regular expression on a set A is a recursive formula for a sequence A regular expression consists of –The elements of A, –And the symbols (, ), , *,  These symbols have the following interpretations –( and ) are grouping symbols –  is the OR symbol – * means zero or more catenations –  is the null string

CSCI 1900 Lecture Regular Expressions (cont) An expression is regular if it can be constructed according to the following five rules –The symbol  is a regular expression (RE1) –If x  A, the symbol x is a regular expression (RE2) –If  and  are regular expressions, then the expression  is regular (RE3) –If  and  are regular expressions, then the expression (    ) is regular (RE4) –If  is a regular expression, then the expression (  )* is regular (RE5)

CSCI 1900 Lecture Regular Expressions (cont) A regular expression over A corresponds to a subset of A* This is called a regular subset of A* or just regular set These subsets are built based on the rules corresponding to the previous five rules

CSCI 1900 Lecture Key Concepts Summary Review of Strings Regular Expressions