Text this: An efficient technique for writing regular expressions of special finite state machines /