Regular Expressions
5DV037 — Fundamentals of Computer Science Ume˚ a University Department of Computing Science Stephen J. Hegner hegner@cs.umu.se http://www.cs.umu.se/~hegner
Regular Expressions 20100906 Slide 1 of 19
Regular Expressions 5DV037 Fundamentals of Computer Science Ume a - - PowerPoint PPT Presentation
Regular Expressions 5DV037 Fundamentals of Computer Science Ume a University Department of Computing Science Stephen J. Hegner hegner@cs.umu.se http://www.cs.umu.se/~hegner Regular Expressions 20100906 Slide 1 of 19 The Idea of
Regular Expressions 20100906 Slide 1 of 19
Regular Expressions 20100906 Slide 2 of 19
Regular Expressions 20100906 Slide 3 of 19
Regular Expressions 20100906 Slide 4 of 19
Regular Expressions 20100906 Slide 5 of 19
Regular Expressions 20100906 Slide 6 of 19
Regular Expressions 20100906 Slide 7 of 19
Regular Expressions 20100906 Slide 8 of 19
Regular Expressions 20100906 Slide 9 of 19
Regular Expressions 20100906 Slide 10 of 19
Regular Expressions 20100906 Slide 11 of 19
Regular Expressions 20100906 Slide 12 of 19
Regular Expressions 20100906 Slide 13 of 19
ij to be the set of all α ∈ Σ∗ such that there is a computation
M (qm1, α1) . . . ⊢ M (qmp, αp) ⊢ M (qj, λ)
qj∈F Rn 0j.
ij recursively and construct the
Regular Expressions 20100906 Slide 14 of 19
ij
ij
ij
i(k+1) · Rk (k+1)j
i(k+1) · Rk (k+1)(k+1) · Rk (k+1)j
i(k+1) · (Rk (k+1)(k+1)) 2 · Rk (k+1)j
i(k+1) · (Rk (k+1)(k+1)) m · Rk (k+1)j
i(k+1) · (Rk (k+1)(k+1)) ∗ · Rk (k+1)j
Regular Expressions 20100906 Slide 15 of 19
ij from Rk ij and is best illustrated by
00
01
02
10
11
12
20
21
22
00 = r 1 00 + r 1 02 · (r 1 22) ∗ · r 1 20 = a∗ + a∗b∗c · (c + λ)∗ · ∅
01 = r 1 01 + r 1 02 · (r 1 22) ∗ · r 1 21 = a∗bb∗ + a∗b∗c · (c + λ)∗ · ∅
02 = r 1 02 + r 1 02 · (r22)∗ · r 1 22 = a∗b∗c + a∗b∗c · (c + λ)∗ · (c + λ)
Regular Expressions 20100906 Slide 16 of 19
00 = r 1 00 + r 1 02 · (r 1 22) ∗ · r 1 20 = a∗ + a∗b∗c · (c + λ)∗ · ∅
01 = r 1 01 + r 1 02 · (r 1 22) ∗ · r 1 21 = a∗bb∗ + a∗b∗c · (c + λ)∗ · ∅
02 = r 1 02 + r 1 02 · (r22)∗ · r 1 22 = a∗b∗c + a∗b∗c · (c + λ)∗ · (c + λ)
00 + r 2 01 + r 2 02)
Regular Expressions 20100906 Slide 17 of 19
Regular Expressions 20100906 Slide 18 of 19
Regular Expressions 20100906 Slide 19 of 19