Derivatives of Regular Expressions | Synapse