The Automata package is Copyright CMUP, Universidade do Porto, Portugal
and Centre for Interdisciplinary Research in Computational Algebra,
University of St. Andrews, Scotland, 2004--2007.

Automata is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version. For details, see the file GPL in this package or https://www.gnu.org/licenses/gpl.html