equal
deleted
inserted
replaced
1309 regular expression's derivatives. |
1309 regular expression's derivatives. |
1310 We also show how one can extend the |
1310 We also show how one can extend the |
1311 algorithm to include bounded repetitions. |
1311 algorithm to include bounded repetitions. |
1312 In chapter \ref{Cubic} we discuss stronger simplification rules which |
1312 In chapter \ref{Cubic} we discuss stronger simplification rules which |
1313 improve the finite bound to a cubic bound.%and the NOT regular expression. |
1313 improve the finite bound to a cubic bound.%and the NOT regular expression. |
|
1314 Chapter \ref{RelatedWork} introduces relevant work for this thesis. |
|
1315 Chapter \ref{Future} concludes with avenues of future research. |
1314 |
1316 |
1315 |
1317 |
1316 |
1318 |
1317 |
1319 |
1318 |
1320 |