Example 1.3.1.
L0 = _+0
L0 = _
11
13
L1 = L0 _ L0 (L0)* L0
13
13
13
11
11
= _ + (_+0)(_+0)*_
_ _
See Dfa2regex in our class directory for a Prolog program to perform these computations.
| Previous slide | Next slide | Back to first slide | View graphic version |