Using Semantic Unification to Generate Regular Expressions from Natural Language
introduction to automata theory , languages and computation .