Text this: Implementation and application of automata [electronic resource]: 12th international conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007 : revised selected papers/