Implementation and application of automata : 7th international conference, CIAA 2002, Tours, France, July 3-5, 2002 : revised papers