[PD] regular expressions (symbol splitting)