Collection of classes to teach Automate Theory.