Verification of Algorithms for Pattern Forming	Verification of algorithms for pattern forming by small mobil machines with local communication function.