Automatae Packages