prague stringology club stringology finite automaton string pattern matching approximate matching text algorithms research group focus research field pattern matching text algorithm information retrieval finite automata etc publication member event deptartment computer science engineering czech technical university prague document contain frame use browser support frame mozilla opera netscape navigator ms internet explorer