A taxonomy for multi-agent robotics
introduction to automata theory , languages and computation .