See section 5 of "Regular Expression Derivatives, Re-examined" for details: http://www.mpi-sws.org/~turon/re-deriv.pdf
See section 5 of "Regular Expression Derivatives, Re-examined" for details: http://www.mpi-sws.org/~turon/re-deriv.pdf