Any one done a Regular Expression parser in SMT? If not I'll use this RE library: http://www.ddj.com/articles/2001/0110/