doi dblp NFAs with Tagged Transitions, Their Conversion to Deterministic Automata and Application to Regular Expressions Ville Laurikari Seventh International Symposium on String Processing and Information Retrieval, SPIRE 2000, A Coruña, Spain, September 27-29, 2000