364 inside then we get $(_{00}\ONE +_{011}a^*)$, exactly the |
364 inside then we get $(_{00}\ONE +_{011}a^*)$, exactly the |
365 same as that of $\rup\backslash \, s$. And this difference |
365 same as that of $\rup\backslash \, s$. And this difference |
366 does not matter when we try to apply $\bmkeps$ or $\retrieve$ |
366 does not matter when we try to apply $\bmkeps$ or $\retrieve$ |
367 to it.\\ |
367 to it.\\ |
368 If we look into the difference above, we could see why: |
368 If we look into the difference above, we could see why: |
369 |
369 during the first derivative operation, |
|
370 $\rup\backslash a=(_0\ONE + \ZERO)(_0a + _1a^*)$ gets into a sequence |
|
371 with the first part being nullable, but not the second part. |
|
372 and we can use this to construct a set of examples based |
|
373 on this type of behaviour of two operations. |
370 that is to say, despite the bits are being moved around on the regular expression |
374 that is to say, despite the bits are being moved around on the regular expression |
371 (difference in bits), the structure of the (unannotated)regular expression |
375 (difference in bits), the structure of the (unannotated)regular expression |
372 after one simplification is exactly the same after the |
376 after one simplification is exactly the same after the |
373 same sequence of derivative operations |
377 same sequence of derivative operations |
374 regardless of whether we did simplification |
378 regardless of whether we did simplification |