Text this: Implementation and application of automata (vol. # 3845) :