module documentation

Tests for the public interface of Automat.